Rigorous bound on hydrodynamic diffusion for chaotic open spin chains

The emergence of diffusion is one of the deepest physical phenomena observed in many-body interacting, chaotic systems. But establishing rigorously that correlation functions, say of the spin, expand diffusively, remains one of the most important problems of mathematical physics. We establish for the first time, with Lindbladian evolution, a lower bound on spin diffusion in chaotic, translation-invariant, nearest-neighbor open quantum spin-1/2 chain satisfying a local detailed-balance condition and strong conservation of magnetisation. The bound is strictly positive if and only if the local quantum jumps transport spin. Physically, the bound comes from the spreading effects of initial-state macroscopic fluctuations, a mechanism which occurs whenever spin is an interacting ballistic mode. Chaoticity means that the Hilbert space of extensive charges is spanned by magnetisation; we expect this to be generic. Our main tool is the Green-Kubo formula, the mathematical technique of projection over quadratically extensive charges, and appropriate correlation decay bounds recently established. Because Lindbladian dynamics is not reversible, the Green-Kubo spin diffusion strength includes a contribution due to irreversibility, which we interpret as encoding the hydrodynamic entropy production that may occur in the forgotten environment. This, we show, vanishes for certain choices of interaction parameters, for which the Lindbladian dynamics becomes reversible. Our methods can be extended to finite or short ranges, higher spins, and other non-Hamiltonian systems such as quantum circuits. As we argue, according to the theory of nonlinear fluctuating hydrodynamics, we further expect these systems to display superdiffusion, and thus have infinite diffusivity; however this is still beyond the reach of mathematical rigour.