Register to reply 
Haag's Theorem loophole? 
Share this thread: 
#37
Oct809, 07:49 AM

Sci Advisor
P: 1,135

Interacting QFT and SR are a perfect match.
Where it goes wrong is with "second quantization" which violates special relativity already at the most elementary level. If one mixes "momentum" π defined in an "internal space" or "unspecified space" with real 4momentum in Minkowski space then you can expect to get a mess... It goes wrong from the start: The Hamiltonian H, the Lagrangian L and the term pv of a classical relativistic particle transform like: [tex] \begin{array}{rll} H & ~~\mbox{transforms as} ~~& \gamma \\ pv & ~~\mbox{transforms as} ~~& \beta^2\gamma \\ L & ~~\mbox{transforms as} ~~& 1/\gamma \\ \end{array} [/tex] The volume of a wavefunction transforms like 1/γ due to Lorentz contraction. So, the densities become higher by a factor γ, hence the Hamiltonian density, the Lagrangian density and the density of the pv term transform like. [tex] \begin{array}{lll} {\cal H} & ~~\mbox{transforms as}~~ & \gamma^2 \\ {\cal {\small PV}} & ~~\mbox{transforms as}~~ & \beta^2\gamma^2 \\ {\cal L} & ~~\mbox{transforms as}~~ & "1" \\ \end{array} [/tex] The Lagrangian density is Lorentz invariant and the expressions for the densities become quadratic in nature, already in classical relativistic physics: [tex] {\cal HPV = L} & ~~~~\mbox{transforms as}~~~~& ~~~~E^2~~p^2 =~~ m^2 & ~~~~\mbox{which transforms as}~~~~ \gamma^2\beta^2\gamma^2 = 1 [/tex] Because E transforms like γ, p transforms like βγ and m transforms like "1". This means that we can write familiar expressions like: [tex] \begin{array}{lllll} {\cal H} & ~~~~\mbox{transforms as}~~~~& \,+\tfrac12E^2 +\tfrac12p^2 +\tfrac12 m^2 ~=~ ~~E^2 & ~~~~\mbox{which transforms as}~~~~& \gamma^2 \\ {\cal L} & ~~~~\mbox{transforms as}~~~~& \tfrac12E^2 +\tfrac12p^2 \tfrac12 m^2 ~=~ m^2 & ~~~~\mbox{which transforms as}~~~~& '1' \end{array} [/tex] In second quantization this gets messed up by making replacements like [tex] (mv)^2 \implies \dot{\varphi}^2[/tex] where mv is the (nonrelativistic!) momentum in an "internal" or "unspecified" space. The latter term does not transform like the pv density but like: [tex] \begin{array}{lll} \dot{\varphi} & ~~~~\mbox{transforms as}~~~~& \gamma \\ \dot{\varphi}^2 & ~~~~\mbox{transforms as}~~~~& \gamma^2 \\ \end{array} [/tex] and so the standard expression. [tex] {\cal H}\dot{\varphi}^2 = {\cal L} [/tex] already violates special relativity at the most basic level leading to wrong expressions for either the Hamiltonian or Lagrangian densities: [tex] \begin{array}{lllll} {\cal H} & ~~~~\mbox{transforms (not) as}~~~~& \,+\tfrac12E^2 +\tfrac12p^2 \tfrac12 m^2 ~=~ p^2 & ~~~~\mbox{which transforms as}~~~~& \beta^2\gamma^2 \\ {\cal L} & ~~~~\mbox{transforms (not) as}~~~~& \tfrac12E^2 +\tfrac12p^2 +\tfrac12 m^2 ~=~0 & ~~~~\mbox{which transforms as}~~~~& '0' \\ \end{array} [/tex] The signs of the invariant mass terms are changed compared with the correct versions. The quantities differ by a constant value which generally goes unnoticed but spoils the way they transform. Many textbooks use the form of the Lagrangian density which is zero for all noninteracting eigenstates. Zero is Lorentz invariant but is not correct. Regards, Hans 


#38
Oct809, 08:14 AM

P: 1,160

Let us note that nobody is interested in calculations (values) of action or Lagrangian expressed via solutions. 


#39
Oct809, 08:26 AM

Sci Advisor
P: 1,135

for the Klein Gordon field or the Dirac field become zero for free particle solutions IF you would have been simply interested enough to do the calculations.... Regards, Hans 


#40
Oct809, 08:40 AM

P: 1,160




#41
Oct809, 08:41 AM

Sci Advisor
P: 303

As you said all questions that can be asked about the free theory can also be asked about the free theory. These “questions” form the C*algebra of observables if I may be very formal. Just like QM, the interacting case and the free case give different answers to these questions. The only difference is that for QFT there exists no unitary transformation to take you from the free answers to the interacting answers, which is the basic content in Haag's theorem. To paraphrase F. Strocchi this is because the interacting and free answers correspond to “two totally seperate worlds”. It would be impossible to prepare a system which gives “free” answers to questions and have it evolve into one which gives “interacting” answers, unlike regular QM where this can be done with the right choice of Hamiltonian. The reason people usually say they live in different Hilbert spaces is because even the though the Hilbert space is formally identical (all seperable Hilbert spaces are isomorphic), the algebra of observables acts in a different way. So we say they are two different reps of the algebra. 


#42
Oct809, 08:52 AM

Sci Advisor
P: 303

First of all, in the field theories that have been nonperturbatively constructed the free and interacting theory do live in seperate Hilbert spaces, e.g. [tex]\phi^{4}[/tex] in two or three dimensions do not live in Fock space. From this point of view the field theories living in different Hilbert space or being in different reps of the algebra of operators is the reason for Haag's theorem. There can't be a unitary relation between them because they're in different reps. Renormalization enters in this picture as a way of fixing the mismatch. The free and interacting field theory live in seperate Hilbert spaces so the differences between them involve very singular objects which physicists call counterterms. 


#43
Oct809, 09:00 AM

P: 1,160

When we have a physical interaction, the superposition coefficients become timedependent and the populations change. After scattering the populations reach their new constant values and the theory becomes noninteracting again. So we stay within the same Hilbert space. When your calculations give infinite corrections to the superposition coefficients, it is not because of "too strong interaction at short distances" but because of too poor initial approximation and wrong interaction term. It is not correct to extrapolate the Haag's theorem obtained for badly guessed theories to good theories with physical interactions. 


#44
Oct809, 08:02 PM

Sci Advisor
P: 1,908

did you have in mind? The usual HallWightman form doesn't mention specific interacting theories. Here is a statement of the theorem in HW form (from Shirokov's mathph/0703021, p7): The same paper (pp56) also gives an alternate formulation of the theorem as follows: Neither formulation relies on any specific details of the interaction term in the Hamiltonian (except perhaps locality). To evade Haag's theorem, one must either state which of its input assumptions should be abandoned or modified, or demonstrate that the maths in the existing proofs are somehow erroneous. E.g., Shirokov goes on to show that condition (1') is not valid in his "dressed field" approach. 


#45
Oct809, 08:13 PM

P: 1,746

I agree with Shirokov on this point. As I wrote earlier, condition (1') does not follow from any deep physical principle, so it should be abandoned. In this connection I would like to mention the work H. Kita, "A nontrivial example of a relativistic quantum theory of particles without divergence difficulties", Progr. Theor. Phys., 35 (1966), 934. in which a perfectly valid and relativistically invariant interacting QFT model is constructed, "interacting fields" are explicitly calculated, and it is demonstrated that the condition (1') does not hold. 


#46
Oct909, 04:38 AM

Sci Advisor
P: 303

(a) All models which have been constructed nonperturbatively do satisfy the covariant transformation law. For instance in all scalar and Yukawa theories in two and three dimensions, the GrossNeveu model in two and three dimensions and also QED and the Higgs model in two dimensions, the interacting field transforms covariantly. (b) Kita's model breaks another Wightman axiom besides the covariant transformation law axiom, so it may not have all the properties associated with a QFT. Although the model is still very interesting. Similar models also appear in Algebraic quantum field theory, where the "field" is not covariant, in fact it can even be nonlocal. However the problem is that only theories which satisfy the Wightman axioms have been proven to have all the healthy properties normally associated with a QFT. 


#47
Oct909, 06:15 AM

P: 1,160

Concerning Haag, it is funny: you take a filed A(x,t) and it happens to be free whatever interaction you use. Maybe Haag himself should have pointed out where his proof was interactiondependent? Here I would like to draw you attention to another reading of free fields. For the sake of sloppiness, I will take a Dirac field ψ and the quantized electromagnetic filed A_{tr} and I will write the free equations in a lazy way: (γ∂+m)ψ = 0, ∂^{2}A_{tr} = 0 These are two independent equations that in the standard QED are "coupled" with an "interaction" term jA. As soon as jA includes the selfaction and nonlinearity, one obtains problems with vacuum instability and other selfaction provoked rubbish. This is a dead end in the theory development. There are too few things to axiomatize in it. Now let us look at the free equations as at equations of the center of inertia of a compound system and internal motion equations. They should be independent  they describe independent degrees of freedom of one compound system. So there in no need to couple them if there is no external force acting on the charge. An external force acting on a charge makes two independent (=additive) works: it changes the CI energymomentum and it pumps the internal degrees of freedom (oscillations). In presence of an external filed A_{ext} the equations are modified with the external filed contributions. The equation system is then essentially linearized. One can be sure that the physical solutions exist. In this description the main problem is to express the charge coordinates via CI coordinates and relative ones. This expression should be dictated with experimental facts first of all rather than with axioms of somebody's. Then the theory becomes a routine theory of compound systems without any mathematical and conceptual problems. After having been developed and verified experimentally, it might serve as a model for axiomatization although I personally am against axiomatization. Only experiment can give an idea how other theories (strong, weak, gravity forces) could be constructed. I mean, for example, what quasiparticles exist in these compound systems and how they are excited. I think this, not yet explored direction is worth developing and practising. . 


#48
Oct909, 05:05 PM

Sci Advisor
P: 1,192

The theorem says that if [itex]A_0(x)[/itex] is a free field of mass [itex]m_0[/itex], and [itex]V(t)[/itex] is a unitary operator, then [itex]A(x) = V(t)A_0(x) V^{\dag}(t)[/itex] is also a free field of mass [itex]m_0[/itex].
But suppose we consider adding an extra [itex]A_0^2[/itex] term to the Hamiltonian to shift the mass, and take this extra term as an interaction that we treat perturbatively. We could then construct the usual Dyson series for [itex]V(t)[/itex], and this should transform [itex]A_0(x)[/itex] with mass [itex]m_0[/itex] into [itex]A(x)[/itex] with mass [itex]m[/itex]. According to the theorem, though, such an operator does not exist! So what goes wrong? Consider the vacuum state of the original hamiltonian. Since the field is free, we can describe it in terms of noninteracting momentum modes, each of which is a harmonic oscillator. The ground state wave function of each mode is a gaussian in the Fouriertransformed field mode, with a width controlled by the energy [itex]E=({\bf k}^2+m_0^2)^{1/2}[/itex], and the ground state wave functional of the field theory is the product of these individual mode wave functions. Of course, after the mass is shifted, the ground state wave functional looks the same, except [itex]m_0[/itex] is replaced by [itex]m[/itex]. Now, the point is that the inner product of these two grounds states is zero. This is because the mode wave functions are not the same (one has [itex]m_0[/itex] in it and the other [itex]m[/itex]), so the inner product of the two normalized mode wave functions (with the same threemomentum [itex]\bf k[/itex]) is less than one. Now we have to take the product of an infinite number of numbers, each less than one, and so we get zero. The same argument shows that the ground state with the shifted mass is orthogonal to every state in the Fock space of the original field. So there is no unitary map from one set to the other. But this is clearly a function of having used an infinite number of modes. If we provide infrared and ultraviolet cutoffs, so that the number of modes is finite, the inner products will be finite, and the unitary operator will exist. Lorentz invariance requires an infinite number of modes, and that's why it's a condition of the theorem. I believe it is not a coincidence that the only general method we know for nonperturbative regularization of QFT is the lattice, which of course breaks Lorentz symmetry. Lorentz symmetry then emerges only in the limit in which the regulator is removed. 


#49
Oct909, 05:24 PM

P: 1,160




#50
Oct1009, 12:46 AM

Sci Advisor
P: 1,677

Thats sort of the point, there is no obstruction for doing QFT 'as done by physicists', say treated as a lattice in the Wilsonian framework. The problem is the existence of the 'thing' we are actually approximating, which may or may not exist mathematically in general, even if we have a handful of explicit examples of fully nonperturbative models (usually in 2d)
Its wonderfully miraculous that the whole business works at all. I think a lot of physicists became a lot less worried about Haags theorem after Wilsons work on effective field theory, where it became clear that in general there might need to be a UV completion for most phenomenological field theories of interest. 


#51
Oct1009, 02:21 AM

Sci Advisor
P: 1,908

is constructed merely perturbatively, and only to rather low order. AFAICT, he doesn't address convergence questions thoroughly and rigorously (beyond some wishful thinking that mollifier functions will save the day at all orders). Hence I don't think he has a nonperturbatively valid theory. 


#52
Oct1009, 02:25 AM

Sci Advisor
P: 1,908




#53
Oct1009, 02:38 AM

Sci Advisor
P: 1,908

which seems like a good thing at any stage. (Of course, choosing particular axioms must be a physicallymotivated endeavour). a free theory. interactions contained products of creation operators which necessarily lead outside the free Hilbert space. theory using honest mathematics. It might of course be physically incorrect. But even if we take a phenomenlogical approach (starting from experimental facts), one still needs to use honest mathematics in whatever theory one constructs. against honest mathematics, which I'm sure is not what you mean. 


#54
Oct1009, 03:41 AM

P: 1,746




Register to reply 
Related Discussions  
No hair theorem loophole  Beyond the Standard Model  9  
Fell's Thm and Haag's Thm: How do we know there are interactions?  General Physics  1  
Haag's Theorem, Perturbation, Existence and QFT.  Quantum Physics  39  
Fell's Thm and Haag's Thm: How do we know there are interactions?  General Physics  0 