  We examine the incorporation of gauge symmetries in the modern effective
field theory (EFT) matching paradigm with a particular focus on spontaneously
broken symmetries. The presence of gauge symmetries entails the introduction of
gauge-fixing terms in matching calculations, which may prevent (partial)
cancellation between loops from the underlying theory and those of the EFT,
thereby preventing the establishment of a hard-region matching formula. While
this is not an issue when using the ordinary background field (BF) gauge for
unbroken gauge theories, we find ourselves unable to demonstrate the
cancellation with the ordinary BF gauge in spontaneously broken gauge theories.
As a convenient alternative, we construct a partially fixed BF gauge that, in
addition to being simpler than the ordinary BF gauge, allows us to prove a
hard-region matching formula.
