On dynamics of the Sierpi\'nski carpet

We prove that the Sierpi'nski curve admits a homeomorphism with strong mixing properties. We also prove that the constructed example does not have Bowen’s specification property.