A Functional Integral Representation for Many Boson Systems

Functional integrals have long been used, formally, to provide intuition about the behaviour of quantum field theories. For the past several decades, they have also been used, rigorously, in the construction and analysis of those theories. I will talk about a rigorous variant of a standard functional integral representation for the (cutoff) partition function of a many Boson system that provides a suitable starting point for its construction.