emptiness formation probability, quasi-free fermions, non-equilibrium steady state, Toeplitz theory