Bosons and Fermions in a rigorous QFT

[tom.stoer]

... Haag's theorem is the most basic

I have to get the Jaffe paper b/c Haags theorem says something different.

It says that we have to deal with (infinitly many) unitarily inequivalent Hilbert spaces for the free and the interacting theory (theories). Afaik it does not say that there does not exist a Fock space representation for any Hilbert space representation of an interacting theory.

Ogf course one can conclude that if a Fock space representation of an interacting theory does exist, it must be unitarily inequivalent to the free Fock space.

In practice one can avoid the problems of Haags theorem by enclosing the system in a large but finite 3-torus (which is then no longer a rigorous approach)

 

[Physics Monkey]

All that seems pretty physical and interesting. It also seems to clarify the "foundational" question since the real system is finite, so that one could in principle solve it perturbatively from the non-interacting case, then take the thermodynamic limit. It's just that that's too hard, and it's "easier" to take the thermodynamic limit and guess the "non-perturbative" ground state. The non-perturbative nature of the limit then explains why "qualitative" differences appear to exist for large but finite systems.

This is absolutely correct. There are even numerical methods, like stochastic series expansion, that statistically sample thousands of terms of the perturbation series in order to actually find the properties of a relatively large interacting system perturbatively. For example, in any finite system the operator \exp{(-\beta H)} converges, and we can estimate how many terms you need by asking when (\beta ||H||)^n/n! \sim 1. If the system contains N spins with typical energy J then this criterion gives n \sim \beta J N which clearly grows with system size.

Another perspective is provided by timescales. Any finite quantum system is quasiperiodic, but the recurrence time may be very long. Typically one must wait for a time of order the smallest spacing between energy eigenvalues. If you have our spin system above, say with Heisenberg interaction, then the largest energy is roughly NJ and the smallest is -NJ but there are 2^N states, hence the typical spacing, in the middle of the spectrum, should be something like \delta 2 N J /2^N. To see a recurrence if we have a generic state we must wait for a time of roughly 1/\delta which is exponential in system size. Similarly, to see the magnetization flip in a large but finite system, we might have to wait a very long time.

 

[A. Neumaier]

I have to get the Jaffe paper b/c Haags theorem says something different.

It says that we have to deal with (infinitly many) unitarily inequivalent Hilbert spaces for the free and the interacting theory (theories). Afaik it does not say that there does not exist a Fock space representation for any Hilbert space representation of an interacting theory.

It says you need one of the reps that are unitarily inequivalent to the (unique) Fock representation.

In practice one can avoid the problems of Haags theorem by enclosing the system in a large but finite 3-torus (which is then no longer a rigorous approach)

But on a torus, you don't have anymore an S-matrix!

 

[A. Neumaier]

Whereas with finite number of particles, the Hilbert spaces spanned by the different Fock spaces are the same? Or do they get more and more orthogonal with increasing numbers of particles?

There is no Fock space with only a finite number of particles. The particle number operator in a Fock space has the nonnegative integers as its spectrum - which means that there are states with any number of particles.

 

[A. Neumaier]

Is there anybody who believes that a rigorous QED exists?

I do. There are also quite a number of mathematical physicists who study rigorous versions
of theories closer and closer to true QED. I think it is just a matter of time before someone will find the right limit that allows one to make QED rigorously.

 

[DarMM]

I have to get the Jaffe paper b/c Haags theorem says something different.

It says that we have to deal with (infinitly many) unitarily inequivalent Hilbert spaces for the free and the interacting theory (theories). Afaik it does not say that there does not exist a Fock space representation for any Hilbert space representation of an interacting theory.

Yes, Haag's theorem states that the free and interacting theories are unitarily inequivalent. However generalised free fields "span" the space of Fock representations and hence if the interacting field isn't equivalent to them, it can't have a Fock space structure on its Hilbert Space.

 

[DarMM]

Is there anybody who believes that a rigorous QED exists?

I think there is certainly a greater likelyhood of it existing than \phi^{4} for example. There is still some unusual results which suggest it may exist, such as the chiral fixed point discussed by Luscher.

 

[tom.stoer]

... if the interacting field isn't equivalent to them, it can't have a Fock space structure on its Hilbert Space.

Hm, why? What is the (unique) Fock representation? How is it defined?

I understand perfectly that the interacting theory does not live on the Fock space of the free theory. But why is an 'interacting Fock space' not possible?

 

[DarMM]

Hm, why? What is the (unique) Fock representation? How is it defined?

I'm not sure what the (unique) Fock representation is as A. Neumaier mentioned it, perhaps he can explain.

I understand perfectly that the interacting theory does not live on the Fock space of the free theory. But why is an 'interacting Fock space' not possible?

Since generalised free-fields span the space of all Fock representations and the interacting theory is unitarily inequivalent to all free-theories, it is then unitarily inqueivalent to all Fock spaces.

 

[A. Neumaier]

Hm, why? What is the (unique) Fock representation? How is it defined?

I understand perfectly that the interacting theory does not live on the Fock space of the free theory. But why is an 'interacting Fock space' not possible?

The one and only Fock representation of a scalar particle of mass m is the standard representation given in each textbook, the direct sum of all symmetrized tensor product of the one-particle space.

What should an interacting Fock space be?

 

[DrDu]

Isn't it possible to construct a Fock space from the asymptotic in and out states of an interacting theory? E.g. if there are bound states, I don't see how it could be unitarily equivalent to the Fock space constructed from the free particles.

 

[A. Neumaier]

Isn't it possible to construct a Fock space from the asymptotic in and out states of an interacting theory? E.g. if there are bound states, I don't see how it could be unitarily equivalent to the Fock space constructed from the free particles.

That's precisely what is being done in S-matrix theory. You get in- and out- Fock spaces that are the direct sum of free Fock spaces, one for each stable bound state. These are the only physical Fock space that exists, as it contains the physical particles. The Fock space in which the Lagrangian is expressed has no physical meaning and is only a crutch to ensure a correct classical limit, as it is composed of bare particles with masses that diverge during the renormalization procedure.

The problem is that this gives a free particle description at t=-inf and another one at t=+inf, but no dynamics for in between times. To get the dynamics right, one needs a representation that, by Haag's theorem, cannot be a Fock representation. (There are additional problems in case of gauge theories or massless fields; the above is just the simplest version.)