I have been taking a look at some papers in constructive quantum field theory and I got the impression that there is a systematic of estimating things like e.g the effective action or the free energy of a theory. I could cite a lot of examples of papers to justify this statement, but to make things more focused I am just giving one example which is Lohmann's "Some Improved Nonperturbative Bounds for Fermionic Expansions". There is no special reason why I chose this paper, however. I think it just captures the idea of the question, as many others would do.
I will focus on section 4.2 of the linked paper, where a single scale Fermi system is addressed. There, the author obtain bounds for the effective action: $$\Omega_{C}(W;\eta) = \log \int e^{W(\psi+\eta)}d\mu_{C}(\psi). \label{1}\tag{1}$$ This is the typical analysis I have been finding in the literature. However, I do not understand what is the idea behind these estimates. For a non-expert it is really difficult to understand what people really want with these bounds, because the basic problems to which these may apply are usually not stated. I was hoping you could help me with the following questions:
- What is the point of estimating $\Omega_{C}(W;\eta)$? What does one want with these estimates?
- Most of the time, $\Omega_{C}(W;\eta)$ is defined over a finite lattice or regularized theory. In this particular case, a Grassmann algebra with finitely many generators. Isn't it obvious that $\Omega_{C}(W;\eta)$ will converge, then?
- These estimates are done for a single scale. How can we pass to other scales? Is it by using the renormalization group? And if so, how one does that?
Thanks in advance!