Macroscopic freezing of a vector Gaussian free field conditioned to avoid a ball

We consider a fixed finite number of independent two-dimensional discrete Gaussian free fields on a box of side $n$, with zero boundary values, conditioned so that the vector-valued field stays outside a fixed ball on a macroscopic interior domain. We prove that the field, divided by $\log n$, conve