Quantum finite-temperature Lanczos method | Synapse