For the quantum corrections, problem (b), a natural approach would involve a `mean-field'/quasi-free approximation and a Bogoliubov-type expansion of a regularized (say, lattice) WS model around it, see e.g. [1]}, [2]}.
