Density of spectral gap property for positively expansive dynamics and smooth potentials, with applications to the phase transition problem math.DS · 2025-05-29