soft billiards, exponential decay of correlations, curvature bounds, distortion, uniform hyperbolicity