Constructing A Finite Tension Domain Wall in $\phi^4_4$

We have recently claimed that the domain wall in the 3+1 dimensional $\phi^4$ double-well model can be constructed as a squeezed, coherent state and that at one loop it has a finite tension given general, but unspecified, renormalization conditions. In the present note, we justify this claim by showing that the tadpole is finite and the infrared divergences cancel exactly. Also we carefully treat the renormalization of the normal ordering mass scale. Faddeev and Korepin have stressed that ultraviolet divergences cancel in the soliton sector if they cancel in the vacuum sector when the corresponding calculations are identical in the ultraviolet. We therefore renormalize the divergences in the vacuum sector using a Schrodinger picture prescription, which mirrors closely the analogous calculations in the domain wall sector.