2025-11-22T01:07:16.112219

Trotterization is substantially efficient for low-energy states

Mizuta, Kuwahara
Trotterization is one of the central approaches for simulating quantum many-body dynamics on quantum computers or tensor networks. In addition to its simple implementation, recent studies have revealed that its error and cost can be reduced if the initial state is closed in the low-energy subspace. However, the improvement by the low-energy property rapidly vanishes as the Trotter order grows in the previous studies, and thus, it is mysterious whether there exists genuine advantage of low-energy initial states. In this Letter, we resolve this problem by proving the optimal error bound and cost of Trotterization for low-energy initial states. For generic local Hamiltonians composed of positive-semidefinite terms, we show that the Trotter error is at most linear in the initial state energy $Δ$ and polylogarithmic in the system size $N$. As a result, the computational cost becomes substantially small for low-energy states with $Δ\in o(Ng)$ compared to the one for arbitrary initial states, where $g$ denotes the energy per site and $Ng$ means the whole-system energy. Our error bound and cost of Trotterization achieve the theoretically-best scaling in the initial state energy $Δ$. In addition, they can be partially extended to weakly-correlated initial states having low-energy expectation values, which are not necessarily closed in the low-energy subspace. Our results will pave the way for fast and accurate simulation of low-energy states, which are one central targets in condensed matter physics and quantum chemistry.
academic

Trotterization is substantially efficient for low-energy states

基本信息

  • 论文ID: 2504.20746
  • 标题: Trotterization is substantially efficient for low-energy states
  • 作者: Kaoru Mizuta, Tomotaka Kuwahara
  • 分类: quant-ph cond-mat.other math-ph math.MP
  • 发表时间: 2025年4月30日
  • 论文链接: https://arxiv.org/abs/2504.20746

摘要

Trotterization是在量子计算机或张量网络上模拟量子多体动力学的核心方法之一。除了其简单的实现外，最近的研究表明，如果初始态位于低能子空间中，其误差和成本可以得到降低。然而，在以往的研究中，低能特性带来的改进随着Trotter阶数的增长而迅速消失，因此低能初始态是否存在真正的优势仍然是个谜。在这篇论文中，作者通过证明低能初始态Trotterization的最优误差界和成本来解决这个问题。对于由正半定项组成的一般局域哈密顿量，作者证明了Trotter误差最多与初始态能量Δ成线性关系，与系统大小N成多对数关系。因此，对于Δ∈o(Ng)的低能态，计算成本与任意初始态相比变得显著更小，其中g表示每个格点的能量，Ng表示整个系统的能量。

研究背景与动机

问题背景

  1. 哈密顿量模拟的重要性: 量子多体系统的时间演化模拟是量子计算的核心领域，应用范围从凝聚态物理到量子化学。
  2. Trotterization方法: 作为最著名的量子算法之一，Trotterization因其简单的电路结构在近期量子计算机中可行，并且在大规模量子计算机中具有更好的门复杂度。

核心问题

现有研究的关键开放问题是：当动力学从某些有趣的初始态类别开始时，Trotterization是否能够提供可证明的根本优势？

现有方法的局限性

  1. 过度估计: 一般情况下，门复杂度由所有可能初始态中的最坏情况误差决定，这通常会过度估计误差和成本。
  2. 受限的低能优势: 先前研究显示低能态的优势仅在非常受限的能量范围Δ∈o(N^(1/(p+1))g)内存在，且随着Trotter阶数p的增长而缩小。
  3. 理论gap: 对于一般低能初始态Δ∈o(Ng)是否存在可证明的优势仍然是个谜。

核心贡献

  1. 最优误差界: 首次证明了低能初始态的最优Trotter误差界，该误差界在初始态能量Δ上是线性的，在系统大小N上是多对数的。
  2. 理论最优性: 误差界和成本在初始态能量Δ上达到理论最优标度，能够在Δ=Ng时重现任意初始态的最优结果。
  3. 广泛的低能优势: 证明了成本降低出现在最广泛的低能区域Δ∈o(Ng)，与Trotter阶数p无关。
  4. 指数级加速: 对于极低能量的初始态Δ∈polylog(N)g，在固定时间t和误差ε下只需要polylog(N)的门复杂度。
  5. 扩展到弱相关态: 将结果部分扩展到具有低能期望值的弱相关初始态。

方法详解

任务定义

考虑N量子比特哈密顿量H在格子Λ={1,2,···,N}上的时间演化模拟：

  • 输入: k-局域哈密顿量H，低能初始态|ψ⟩，演化时间t，允许误差ε
  • 输出: 量子算法实现e^(-iHt)|ψ⟩在误差ε内
  • 约束: 最小化量子门数量（Trotter数r）

哈密顿量设置

哈密顿量H写作： H=∑X⊂Λ;∣X∣≤khX,hX≥0H = \sum_{X⊂Λ;|X|≤k} h_X, \quad h_X ≥ 0

其中每个h_X非平凡地作用在域X上，正半定性通过平移h_X → h_X + ∥h_X∥保证。

低能子空间投影

定义能量小于Δ的子空间投影： Π≤Δ=∑n;En≤Δ∣En⟩⟨En∣\Pi_{≤Δ} = \sum_{n;E_n≤Δ} |E_n⟩⟨E_n|

考虑完全位于此子空间的初始态：Π_{≤Δ}|ψ⟩ = |ψ⟩。

核心理论结果

定理1 (主要结果): 对于任意ϵ∈(0,1)，存在： Δ′=Δ+O(glog⁡(N/ϵ))Δ' = Δ + O(g\log(N/ϵ))

使得低能初始态的Trotter误差界为：

O((gt)^p Δ't + ϵ) & \text{if } Γ ∈ O(1) \\ O(\{gt\log(N/ϵ)\}^p Δ't + ϵ) & \text{otherwise} \end{cases}$$ ### 技术创新点 1. **交换子标度的反映**: 首次在低能空间中准确捕获交换子标度特性，避免了先前研究中1-范数标度O((Δ't)^(p+1))的过度估计。 2. **泄漏评估的改进**: 精确评估了从低能子空间的泄漏，将泄漏Δ'-Δ从与N成比例改进到O(g log(N/ϵ))。 3. **嵌套交换子的局域性**: 利用局域哈密顿量嵌套交换子的局域性，证明了关键不等式： $$∥Π_{≤Δ'}[H_γ_q, ···, [H_γ_1, H_γ_0]]Π_{≤Δ'}∥ ≤ q!(2kg)^q Δ'$$ ## 实验设置 ### 数值验证 作者在两个无挫折哈密顿量上进行了数值验证： 1. **AKLT哈密顿量**: $$H_{AKLT} = \sum_{i=1}^{N-1} P[(S_i + S_{i+1})^2 = 2(2+1)]$$ 2. **Majumdar-Ghosh哈密顿量**: $$H_{MG} = \sum_{i=1}^{N-2} P[(S_i + S_{i+1} + S_{i+2})^2 = \frac{3}{2}(\frac{3}{2}+1)]$$ ### 实验参数 - Trotter阶数: p = 1, 2 - 演化时间: t = 0.1 - 能量界: Δ = 0.5, 1.0 - 系统大小: 变化的N值 ## 实验结果 ### 主要结果 **系统大小依赖性**: - 无能量限制时，Trotter误差近似与系统大小成正比（与交换子标度一致） - 低能初始态的误差增长显著更慢，符合定理1预测的对数依赖性 **能量界依赖性**: - 在Δ ≪ ∥H∥区域，观察到误差与能量界Δ近似线性关系 - 斜率几乎与系统大小N无关，支持理论预测 ### Trotter数的改进 对于Γ ∈ O(1)的情况，Trotter数为： $$r \sim gt\left(\frac{Δt + gt\log(N/ε)}{ε}\right)^{1/p}$$ 相比任意初始态的r ∈ O(gt(Ngt/ε)^(1/p))，在Δ ∈ o(Ng)时显著降低。 ## 相关工作 ### 哈密顿量模拟算法 - **Trotterization**: 最经典的方法，电路结构简单 - **线性组合酉算子(LCU)**: 在某些情况下更高效 - **量子奇异值变换(QSVT)**: 最新的统一框架 ### 初始态相关的改进 - **Haar随机态**: 已知具有更好的标度 - **高纠缠态**: 最近证明可以加速哈密顿量模拟 - **低能态**: 本文首次给出最优理论界 ## 结论与讨论 ### 主要结论 1. 首次证明了低能初始态Trotterization的最优误差界和成本 2. 在最广泛的低能区域Δ ∈ o(Ng)内实现了成本降低 3. 对于极低能态，可实现指数级加速 ### 局限性 1. **正半定性要求**: 需要通过平移确保所有局域项为正半定 2. **完全低能假设**: 主要结果要求初始态完全位于低能子空间 3. **数值验证有限**: 仅在特定的无挫折模型上验证 ### 未来方向 1. **扩展到其他Trotter变体**: 如随机编译Trotter化(qDRIFT)和多乘积公式 2. **时间依赖Trotter化**: 对绝热态制备的应用 3. **基于基态能量的低能态**: 寻求基于基态能量而非平移后能量的优势 ## 深度评价 ### 优点 1. **理论突破**: 首次给出低能态Trotterization的最优理论界，解决了该领域的重要开放问题 2. **技术创新**: 在低能子空间中准确捕获交换子标度，技术上具有重要突破 3. **实用价值**: 结果适用于凝聚态物理和量子化学中的核心目标——低能态模拟 4. **严谨性**: 数学证明严格，结果具有最优性保证 ### 不足 1. **适用范围**: 主要适用于近似无挫折的系统，对强关联系统的适用性有限 2. **实验验证**: 数值验证主要在小系统和特殊模型上，缺乏大规模实际系统的验证 3. **实现复杂性**: 虽然理论上最优，但实际实现中如何高效检验低能条件仍需探索 ### 影响力 1. **理论意义**: 为初始态相关的哈密顿量模拟建立了理论框架 2. **实践价值**: 为量子化学和凝聚态物理的量子模拟提供了理论指导 3. **方法论贡献**: 发展的交换子标度技术可扩展到其他初始态族 ### 适用场景 1. **量子化学**: 分子基态和低激发态的动力学模拟 2. **凝聚态物理**: 低温现象和相变的量子模拟 3. **量子算法**: 需要高精度低能态演化的量子算法设计 ## 参考文献 本文引用了37篇重要文献，涵盖了Trotterization理论、量子模拟算法、交换子标度理论等关键领域的前沿工作，为研究提供了坚实的理论基础。 --- **总结**: 这篇论文在量子哈密顿量模拟领域做出了重要的理论贡献，首次给出了低能初始态Trotterization的最优理论界。虽然在实际应用中还需要进一步验证，但其理论意义和对未来研究的指导价值是显著的。