Dual channel multi-product formulas
Seung Park, Sangjin Lee, Kyunghyun Baek
TL;DR
This work advances quantum simulation accuracy by introducing the dual-channel multi-product formula (DCMPF), which pairs a PF circuit with its inverse to double the Trotter error suppression from $O(t^{\alpha+K})$ to $O(t^{\alpha+2K})$ while reducing required circuit depth by roughly a factor of two. The authors provide theoretical proofs (via operator- and expectation-value analyses) and numerical demonstrations on the 1D transverse Ising model and the XXZ spin chain, showing DCMPF outperforms conventional MPF under fixed circuit depth and noise. Key results include a formal proof that DCMPF preserves conditioning and variance properties and practical evidence that a shallower circuit with more foldings yields smaller algorithmic errors without increasing sampling error. The work suggests significant practical gains for near-term quantum devices by mitigating algorithmic errors more efficiently, potentially lowering hardware error mitigation overhead and enabling higher-precision simulations within constrained resources.
Abstract
Product-formula (PF) based quantum simulation is a promising approach for simulating quantum systems on near-term quantum computers. Achieving a desired simulation precision typically requires a polynomially increasing number of Trotter steps, which remains challenging due to the limited performance of current quantum hardware. To alleviate this issue, post-processing techniques such as the multi-product formula (MPF) have been introduced to suppress algorithmic errors within restricted hardware resources. In this work, we propose a dual-channel multi-product formula that achieves a two-fold improvement in Trotter error scaling. As a result, our method enables the target simulation precision to be reached with approximately half the circuit depth compared to conventional MPF schemes. Importantly, the reduced circuit depth directly translates into lower physical error mitigation overhead when implemented on real quantum hardware. We demonstrate that, for a fixed CNOT count as a measure of quantum circuit, our proposal yields significantly smaller algorithmic errors, while the sampling error remains essentially unchanged.
