Backward preservation of local indistinguishability
ID: backward-preservation-of-local-indistinguishability
Undo a short evolution of two orthogonal locally indistinguishable states. Orthogonality is preserved exactly. A Lieb-Robinson bound localizes every backward-evolved observable within an expanded region and bounds its norm error. After normalizing the approximate observable, the initial expectation difference is at most . Polynomial volume growth in the system diameter controls the localization prefactor and yields preservation for sufficiently small linear-time coefficient.
New to topics? Read the docs here!