Thermodyamic bounds on Drude weights in terms of almost-conserved quantities (Q1944835)

One-dimensional translationally invariant quantum spin (or ferromagnetic) lattices are considered. A Mazur-type inequality is proven, which bounds the time-averaged thermodynamic limit of a finite-temperature expectation of a spatio-temporal autocorrelation function of a local observable in terms of quasi-local conservation laws with open boundary conditions. The commutator of the Hamiltonian and the conservation law of a finite chain may result only in boundary terms. Instead Suzuki's proof of the Mazur bound, Lieb-Robinson bounds and exponential clustering theorems of quasi-local \(C^*\) quantum spin algebras are invoked. It is shown that the Drude weight is strictly bounded from below. An almost trivial generalization of the result is given for an arbitrary set of conserved quasi-local operators. A nontrivial application of the results is shown for bounding the spin Drude weight in the anisotropic Heisenberg XXZ model.