2025 Avoiding spectral pollution for transfer operators using residuals April Herwig, Matthew J. Colbrook, Oliver Junge, and 2 more authors 2025