Rigid Functions, IP-Systems, and Topological Mild Mixing

Abstract

We study uniform rigidity and topological mild mixing through continuous observables. For a fixed sequence of times, the observables rigid along that sequence form a closed unital $T^{\pm 1}$-invariant algebra and determine the maximal factor uniformly rigid along the prescribed sequence. We then give functional forms of the classical ${\mathrm{SIP}}^{\ast }$- and ${\mathrm{IP}}^{\ast }$-return-time criteria: a topological dynamical system is mildly mixing exactly when it has no nonconstant locally SIP-rigid observable, and in the minimal category the same property is equivalent to the absence of nonconstant locally IP-rigid observables. Finally, a locally IP-rigid observable yields a canonical orbit-name factor carrying marked local data. For fixed local data, the $T^{\pm 1}$-invariant core of the local rigidity algebra determines a uniformly rigid factor whenever the core is nontrivial.