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.