Curator's Take
AI Commentary
This article shows that the long‑standing trade‑off between Trotter discretisation error and hardware noise can be resolved with a single, one‑dimensional extrapolation that simultaneously cancels both contributions, offering a provable commutator‑scaling resource bound for product‑formula simulations. By tying the per‑layer noise amplification to the step size, the authors achieve constant overhead relative to standard Richardson extrapolation and demonstrate comparable accuracy on a superconducting device even for 100‑qubit sparse Pauli dynamics. The result provides a practical pathway for near‑term quantum simulators to push beyond current fidelity limits without requiring full error correction, though it relies on being able to amplify noise above the device’s intrinsic floor.
— Mark Eatherly
Summary
Product-formula Hamiltonian simulation is naturally suited to near-term quantum processors, but its accuracy is set by two competing errors: finite-step Trotter bias and physical hardware noise. We introduce a joint extrapolation strategy that ties the tunable per-layer noise strength to the Trotter step size, $λ(s)=c(sT)^{p+1}$ for a $p$-th order product formula. Along this one-dimensional path, the leading physical-noise and Trotter corrections over the full evolution both enter at order $s^p$ and can be canceled by a single Richardson extrapolation. Building on a previously established finite-order Baker--Campbell--Hausdorff truncation bound, we derive a provably commutator-scaling resource guarantee for the joint extrapolation. For local Hamiltonians with local Lindbladian noise, the protocol mitigates physical noise together with Trotter error with only a constant asymptotic overhead relative to noiseless Trotter extrapolation, provided the required noise strengths lie above the intrinsic device-noise floor. We experimentally demonstrate the protocol for Ising dynamics on a superconducting quantum computer using learned noise amplification. Complementary 100-qubit Sparse Pauli Dynamics (SPD) simulations achieve comparable accuracy to two-dimensional Richardson extrapolation with fewer circuit settings.