Thermodynamic limit of Mazur bound on the spin stiffness of XXZ chain,   using the almost-conserved Z-operator
  This short note can be considered as a mathematical supplement to [Phys. Rev. Lett. 106, 217206 (2011)], namely explaining in more detail how rigorous bound on high-temperature spin stiffness is established in thermodynamic limit using the almost-conserved Z-operator resulting from solving the boundary driven Lindblad equation for the anisotropic Heisenberg (XXZ) spin 1/2 chain . No reference to techniques used in Suzuki's proofs of Mazur's bound is made, but quasi-local spin C* algebras and Lieb-Robinson bounds are invoked instead. 
Tomaz Prosen
cond-mat.str-el cond-mat.stat-mech math-ph math.MP quant-ph