1: \begin{abstract}

2: Employing a combination of functional renormalization group calculations and projective determinantal quantum Monte Carlo simulations, we examine the Hubbard model on the  square lattice bilayer at half filling. 

3: From this combined analysis, we obtain a comprehensive account on the ground state phase diagram with respect to the extent of the system's metallic and (antiferromagnetically ordered)  Mott-insulating as well as band-insulating regions.

4: By means of an unbiased functional renormalization group approach, we exhibit the antiferromagnetic Mott-insulating state as the relevant instability of the free metallic state, induced by any weak finite onsite repulsion. 

5: Upon performing a careful analysis of the quantum Monte Carlo data, we resolve the difficulty of identifying this antiferromagnetic ground state for finite interlayer hopping in the weak-coupling regime, where nonmonotonous finite-size corrections are shown to relate to the two-sheeted Fermi surface structure of the metallic phase. 

6: On the other hand, quantum Monte Carlo simulations are well suited to identify the transition between the Mott-insulating phase and the band insulator in the intermediate-to-strong coupling regime. Here, we compare our numerical findings to indications for the transition region obtained from the functional renormalization group procedure.

7: \end{abstract}

8: