Track the frontier, from condensed matter to cosmology.
Search papers, labs, and topics across Lattice.
Simulating non-integrable quantum many-body dynamics classically is notoriously intractable, and existing heuristic approximations lack formal guarantees on their divergence from exact physics. To address this, the authors derive an analytically rigorous error bound for infinite-temperature correlation functions evaluated within a computable, finite-sized spatial domain. The resulting framework enables certified accuracy for autocorrelations in one-dimensional and higher-dimensional systems while supplying provable error bounds for heuristic matrix-product-operator (MPO) algorithms.
Classical tensor network simulations of quantum dynamics no longer have to operate without safety rails: a spatial truncation framework now provides mathematically provable error bounds for infinite-temperature correlation functions.
The exact classical simulation of non-integrable quantum systems rapidly becomes intractable beyond small system sizes, yet its role is central to predicting many-body dynamics. Approximate methods alleviate this cost but typically lack rigorous guarantees on their deviation from the exact result. For the infinite-temperature correlation function, we derive a rigorous error bound for approximating the full dynamics within a computable finite-sized region. Applied to autocorrelations, this finite-region approach is especially accurate across one-dimensional systems and beyond, and can further provide rigorous error bounds for other approximate methods, demonstrated here for matrix-product-operator simulations.