Unitary quantum time evolution by iterative Lanczos reduction | Synapse