DrFaustus said:
And all I've been trying to say is that as long as QFT is formulated in terms of operator valued distributions (which quantum fields are), then some sort of renormalization is unavoidable.
I can agree with this statement. But I don't see a good reason why physical interactions should be always constructed as products of quantum fields. Perhaps, we can remove this artificial restriction and obtain a good theory (we should not call it *quantum field* theory then), in which there is no need for renormalization.
Examples of such a theory are not difficult to construct. See
O. W. Greenberg and S. S. Schweber, "Clothed particle operators in simple models of quantum field theory", Nuovo Cim., 8 (1958), 378.
For example, we can choose the interaction operator in the normally-ordered form
V = a^{\dag}a^{\dag}aa + a^{\dag}a^{\dag}aaa + a^{\dag}a^{\dag}a^{\dag}aa + ......(1)
The characteristic feature of this interaction is that usual QFT terms aaa + a^{\dag}aa + a^{\dag}a^{\dag}a + a^{\dag}a^{\dag}a^{\dag} are absent. These terms act non-trivially on the vacuum and 1-particle states. They are considered "bad" and forbidden. The "good" terms present in our interaction (1) have at least two annihilation operators and at least two creation operators.
One can easily see, that there is no need for mass renormalization with interaction (1). Free vacuum and free 1-particle states are eigenstates of the full interacting Hamiltonian with unchanged (free) eigenvalues. One can show that the charge renormalization can be avoided too. One can also make sure that all loop integrals are convergent.
The next question is how to make sure that the S-matrix computed with interaction (1) agrees with experiment (e.g., on scattering of charged particles and photons). There are basically two ways to do that:
(1) We can simply take scattering amplitudes from high-order QED calculations and/or experiment and fit coefficient functions in (1) to these data.
(2) We can apply the so-called "unitary dressing transformation" to the renormalized Hamiltonian of QED to bring it to the desired form (1).
Either way guarantees that the S-matrix calculated with (1) is exactly the same as the S-matrix computed in QED or measured in experiments. The benefits of using interaction (1) are: (i) there is no need for renormalization, (ii) both free and interacting theories live in the same Fock space.
Eugene.