Integrating out a field
= Integrating out a field
<Integrating out a field> means performing its path integral while retaining the other fields as backgrounds. The result is generally a nonlocal <quantum effective action>; for a field much heavier than all external momenta, a <derivative expansion> turns it into local effective interactions.