DarMM
Science Advisor
Gold Member
- 2,369
- 1,408
The theorem says that any translationally invariant theory even non-manifestly Lorentz invariant ones, which satisfy the Wightman axioms cannot live in Fock space. So you can avoid it only if you drop one of the Wightman axioms, because dropping translation invariance would be a bit much. Maybe your dressing approach drops one of the Wightman axioms?meopemuk said:I think I know what Haag's theorem is, and in my (perhaps ill-informed) opinion this theorem does not present a significant obstacle for developing QFT in the Fock space. This theorem basically says that "interacting field" cannot have a manifestly covariant Lorentz transformation law. Some people say that this violates the relativistic invariance and, therefore, is unacceptable. However, I would like to disagree.
However it's been proven that the QED S-operator is not Hilbert Schmidt on Fock space and hence is not well defined nonperturbatively. This may not be a problem though if you only want things to work perturbatively. Maybe you disagree that there should be a nonperturbative QED, it's not necessarily a bad position.So, relativistic non-invariance is out of question. I think that the absence of the manifestly covariant transformation law of the "interacting field" is not a big problem. Actually, one can perform QFT calculations without even mentioning "interacting field" at all. It is quite sufficient to have a Hamiltonian and obtain the S-operator from it by usual Rules of Quantum Mechanics.
It's not though, I mean it has been proven that it's not well-defined as an operator on Fock space, even in two dimensions. This is really the only thing about your position that I don't understand. It has been proven to not be self-adjoint or semibounded. How can you claim it is well-defined if there are proofs that it is not? This is a genuine question, maybe you mean something specific by "well-defined" which doesn't require the Hamiltonian to be self-adjoint or semi-bounded, or are you contesting the proofs?My claim remains that the Hamiltonian L_0 + L_1 is well-defined.
Maybe this is what you mean, that after this "dressing" L_{0} + L_{1} is well-defined as an operator on Fock space. All I'm saying is that L_{0} + L_{1} as it is defined in Weinberg is not well-defined, which is a fact with a rigorous mathematical proof behind it.I think that our disagreement reflects two different philosophies about dealing with interacting QFT. In your approach (which is widely accepted), you seek solution by leaving the Fock space. In my approach (which is less known) I stay in the Fock space and try to change the original Hamiltonian by "dressing". It may well happen that both philosophies are correct (or that both are wrong).