Revisiting the Mazur bound and the Suzuki equality

Among the few known rigorous results for time-dependent equilibrium correlations, important for understanding transport properties, are the Mazur bound and the Suzuki equality. The Mazur inequality gives a lower bound, on the long-time average of the time-dependent auto-correlation function of observables, in terms of equilibrium correlation functions involving conserved quantities. On the other hand, Suzuki proposes an exact equality for quantum systems. In this paper, we discuss the relation between the two results and in particular, look for the analogue of the Suzuki result for classical systems. This requires us to examine as to what constitutes a complete set of conserved quantites required to saturate the Mazur bound. We present analytic arguments as well as illustrative numerical results from a number of different systems.