Matchotter: An Automated Tool for Dimensional Reduction at Finite Temperature

Javier Fuentes-Martín, Javier López Miras, Adrián Moreno-Sánchez

At finite temperature, the decoupling of heavy Matsubara modes allows a four-dimensional quantum field theory to be matched onto a purely spatial, three-dimensional effective field…