Let . On a site, empty and doubly occupied states have spin zero, while either singly occupied state has spin . Thus
The on-site spin-square normal-ordering identity rewrites the interaction as . Its contact coefficient is in this parameterization, rather than the convention often used for the Hubbard model.
Using a fermionic coherent-state trace and time slicing, replace each normal-ordered monomial by its Grassmann field symbol. With ,
The independent fields have antiperiodic thermal boundary conditions. Normal ordering is crucial: the explicit subtraction removes the spin-square contraction, so there is no extra chemical-potential shift from it.