Macroscopic irreversibility in quantum systems: Free expansion in a fermionic chain
{{output}}
We consider a free fermion chain with uniform nearest-neighbor hopping and let it evolve from an arbitrary initial state with a fixed macroscopic number of particles. We then prove that, at a sufficiently large and typical time, the measured coarse-grained den... ...