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 the rigorous derivation of some functional integral representations for the partition function and correlation functions of (cutoff) many Boson systems that provide a suitable starting point for their construction.