 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.