{"id":"arxiv/2602.19435","url":"https://arxiv.org/abs/2602.19435","tags":["math.DS","math.FA"],"score":0,"title":"Certified spectral approximation of transfer operators and the Gauss map","domain":"math.DS","source":"arxiv","authors":["Isaia Nisoli"],"reviews":0,"subject":"math.DS","summary":"We prove that the full spectral picture of a transfer operator (every isolated eigenvalue, eigenvector, and Riesz projector outside the essential spectral radius) can be approximated to arbitrary precision by finite-rank discretizations, with no spectral pollution. The method is a~posteriori: once a computable approximation bound is available (from compactness or a Doeblin--Fortet--Lasota--Yorke inequality, which may require hyperbolicity constants and adapted Banach spaces), the spectral gap and multiplicity are certified from computed data via a resolvent perturbation bound, with no…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-23","reactions":{}}