Reparameterization invariant operator basis for NRQED and HQET
We provide a self-contained discussion of how reparameterization invariance connects a rotationally-invariant heavy particle effective theory with a single heavy fermion to a Lorentz-invariant theory. Furthermore, using Hilbert-series methods, a Lorentz- invariant operator basis is tabulated, up to and including operators of order $1/M^4$, when the fermion couples to an external U(1) or SU(3) gauge interaction.