Constructive analysis of two dimensional Fermi systems at finite temperature

We consider a dilute Fermion system in continuum two spatial dimensions with short-range interaction. We prove nonperturbatively that at low temperature the renormalized perturbation expansion has non-zero radius of convergence. The convergence radius shrinks when the energy scale goes to the infrared cutoff. The shrinking rate of the convergence radius is established to be dependent of the sign of the coupling constant g by a detailed analysis of the so-called ladder contributions. We prove further that the self-energy of the model is uniformly of C1, but not C2 in the analytic domain of the theory. The proofs are based on renormalization of the Fermi surface and multiscale analysis employing mathematical renormalization group technique. Tree expansion is introduced to reorganize perturbation expansion nicely. Finally we apply these techniques to construct a half-filled Hubbard model on honeycomb bilayer lattice with local interaction.