Mixing properties of quantum systems

We generalize the classical notion of topological mixing for automorphisms ofC ^*-algebras in two ways. We show that for Galilean-invariant Fermi systems the weaker form of mixing is satisfied. With some additional requirement on the range of the interaction we can also demonstrate the stronger mixing property.