Exponential mixing, KAM and smooth local rigidity - Ralf Spatzier; Lei Yang (2021)