Time Independence Does Not Limit Information Flow. II. The Case with Ancillas
T. C. Mooney, Dong Yuan, Adam Ehrenberg, Christopher L. Baldwin, Alexey V. Gorshkov, Andrew M. Childs
TL;DR
This work proves that time-independent Hamiltonians can replicate the light-cone propagation of time-dependent protocols when each data qubit is equipped with local clock ancillas. By extending the clock construction of WWRL to a localized setting, the authors show that saturating Lieb-Robinson bounds remains possible under time-independence, at the cost of a polylogarithmic overhead in the number of local ancillas per site. They provide rigorous error bounds and explicit ancilla-scaling relations, including mollifier-based smoothing and alternative bump-function schemes to handle general piecewise-time-dependent dynamics. The results apply to challenging settings such as long-range power-law interacting systems and disordered 1D chains, yielding time-independent state-transfer protocols with the same optimal run-times as their time-dependent counterparts. Overall, the work demonstrates that locality-based speed limits remain tight under time-independence when suitable local ancilla resources are allowed, with concrete scaling laws for the required clock dimension.
Abstract
While the impact of locality restrictions on quantum dynamics and algorithmic complexity has been well studied in the general case of time-dependent Hamiltonians, the capabilities of time-independent protocols are less well understood. Using clock constructions, we show that the light cone for time-independent Hamiltonians, as captured by Lieb-Robinson bounds, is the same as that for time-dependent systems when local ancillas are allowed. More specifically, we develop time-independent protocols for approximate quantum state transfer with the same run-times as their corresponding time-dependent protocols. Given any piecewise-continuous Hamiltonian, our construction gives a time-independent Hamiltonian that implements its dynamics in the same time, up to error $\varepsilon$, at the cost of introducing a number of local ancilla qubits for each data qubit that is polylogarithmic in the number of qubits, the norm of the Hamiltonian and its derivative (if it exists), the run time, and $1/\varepsilon$. We apply this construction to state transfer for systems with power-law-decaying interactions and one-dimensional nearest-neighbor systems with disordered interaction strengths. In both cases, this gives time-independent protocols with the same optimal light-cone-saturating run-times as their time-dependent counterparts.
