An ergodic abelian skeleton for quantum systems

Under the assumption that there exists an optimal stationary coupling of a dynamical quantum system with a dynamical classical system, we prove that the quantum system contains an ergodic classical system.