Constructing Physical Asymptotic States in \phi^{4} Theory: A Rigorous Approach

[A. Neumaier]

From the thread, Rigorous Quantum Field Theory:

DrFaustus I believe you had posted a question, but it seems to have disappeared and I can't remember what it was.

In addition I've finally gathered my notes and references, so I'll soon be doing a series of three posts climbing the ladder of \phi^{4}_{2}, \phi^{4}_{3}, \phi^{4}_{4}.

I only saw the first (2D) part of this promise delivered. Since I found it a quite interesting summary, I would be interested in the remaining parts on the 3D and 4D case.

 

[strangerep]

I only saw the first (2D) part of this promise delivered. Since I found it a quite interesting summary, I would be interested in the remaining parts on the 3D and 4D case.

So would I, but DarMM seems to have been absent from PF for a while now.

You could perhaps try sending him a PM... :-)

 

[DarMM]

Hello all,

My apologies for the enormous delay! I will immediately proceed to gather my notes and make a post on the three dimensional case. Unless there are comments left over from the two-dimensional case.

 

[A. Neumaier]

My apologies for the enormous delay! I will immediately proceed to gather my notes and make a post on the three dimensional case. Unless there are comments left over from the two-dimensional case.

I am looking forward what you have to say about the 3D case. This case should be more interesting, since one here has for the first time a nontrivial renormalization (beyond normal ordering) to make the field theory even well-defined. I hope that you'll able to give an easily understandable introduction of the main lines without drowning us in details (the original literature seems fairly opaque in this respect).

If then issues in understanding appear that can already be illustrated in the 2D setting, you'd come back to the latter.

Later, if the 3D case has been clarified, I'd like to know your synopsis of the 4D situation. For example, I don't believe that Phi^4_4 theory is trivial, but this is frequently claimed, so I'd like to know your position in this issue, and how you arrived at it.

If you know something about the status of rigorous Phi^6_3, that would also be interesting!

So these are my hopes about your input!

 

[DarMM]

Three dimensional case: Part I

(Okay, I realized I was delaying too long and I had already enough to deal with the first stage, so here goes.)

Alright, let us deal with the first step of \phi_{3}^{4}.

The major starting point for this model is the paper:
James Glimm "Boson Fields with the :\phi^{4}: Interaction in Three Dimensions", Comm. Math. Phys. 10, 1-47.
Glimm only deals with the finite volume theory.

This is the first model with nontrivial renormalisations. It has one single mass renormalization which is not equivalent to a Wick ordering.

In the two dimensional case Wick ordering removed all ultraviolet divergences and the finite volume theory was well-defined on Fock space. Here things are more difficult. Wick ordering does not remove all divergences because in more than two dimensions Wick ordered fields of power greater than 3 do not produce operators after smearing.

Taking inspiration from perturbation theory Glimm cuts of the Hamiltonian and adds the first order and second order mass counterterms to the Lagrangian. This should produce a Hamiltonian with energy levels that no longer diverge with the cutoff.

However by checking the overlap of the new Hamiltonian's vacuum with any element of Fock space, one sees that it is becoming orthogonal to every Fock vector.

To analyse the model, a dressing transformation is constructed between the states of the free field and the states of the interacting field. However the full dressing transformation is not needed as one only cares about controlling the passage to the new Hilbert space. So one removes from the dressing transformation the parts associated with all momenta confined to a bounded region and those pieces corresponding to the components of :\phi^{4}: with less than four creation operators. What remains is an approximate dressing transformation that contains only the part that maps out of Fock space.

One then finds that the norm of every vector is diverging in Fock space by a term:
\left(T_{\kappa}\Omega,T_{\kappa}\Omega\right), where T_{\kappa} is the dressing transformation of the cutoff model and \Omega the Fock vacuum.

Since every vector is related to an interacting vector by the dressing transformation, one then contructs the interacting product by:
\frac{\left(T_{\kappa}\Psi,T_{\kappa}\Psi\right)}{\left(T_{\kappa}\Omega,T_{\kappa}\Omega\right)}
Glimm then proves that in the limit \kappa \rightarrow \infty, this space of T_{\kappa}\Psi vectors is a Hilbert space complete with respect to the \kappa \rightarrow \infty norm.

Then returning to the Hamiltonian, one places the cutoff Hamiltonian with the counterterms H^{ren}_{\kappa} into the inner product and one can demonstrate that every matrix element converges and the Hamiltonian remains symmetric in the limit.

So one has constructed a symmetric Hamiltonian on a new (non-Fock) Hilbert space.

However one has not shown that it is self-adjoint or semi-bounded (non-negative energy in physical terms). This will be dealt with in the next post.

So in short:
(1) Hamiltonian diverges
(2) Cutoff the Hamiltonian and add counterterms
(3) Energy levels no longer diverge, but eigenstates become orthogonal to Fock space.
(4) "Follow" the eigenvalues by constructing a norm that moves with them. This norm uses the dressing transform of the vacuum, this is because all vectors move out of Fock space at the same rate: the rate at which the vacuum moves out.
(5) Place the Hamiltonian in the norm to find out how it behaves as one moves to the new Hilbert space.
(6) One discovers that the vectors move to a well-defined Hilbert space and the Hamiltonian is symmetric on that space.

Two pieces of information:
1. Glimm calls the division by the dressed vacuum norm "wave function renormalisation". This is not "wave function renormalisation" as known by physicists. It is a completely nonperturbative effect associated with the change of Hilbert space, which is not something dealt with by perturbative QFT.

2. In \phi^{4}_{4} part of the difficulty comes from the fact that all the vectors move out of Fock space at a different rate, so dividing by the norm of the dressed vacuum is not enough. Of course this is only the beginning of the difficulties for the four-dimensional case.

 

[A. Neumaier]

let us deal with the first step of \phi_{3}^{4}.
Glimm only deals with the finite volume theory.However one has not shown that it is self-adjoint or semi-bounded (non-negative energy in physical terms). This will be dealt with in the next post.

So in short:
(1) Hamiltonian diverges
(2) Cutoff the Hamiltonian and add counterterms
(3) Energy levels no longer diverge, but eigenstates become orthogonal to Fock space.
(4) "Follow" the eigenvalues by constructing a norm that moves with them. This norm uses the dressing transform of the vacuum, this is because all vectors move out of Fock space at the same rate: the rate at which the vacuum moves out.
(5) Place the Hamiltonian in the norm to find out how it behaves as one moves to the new Hilbert space.
(6) One discovers that the vectors move to a well-defined Hilbert space and the Hamiltonian is symmetric on that space.

Thanks! Let me check my understanding:

- I guess you meant: follow the eigenvectors...
- One now knows that on the new Hilbert space, H is defined as a quadratic form.
- This H will turn out (by different arguments, not yet given) to be self-adjoint and bounded below.
- Thus we have such an H for every bounded region in space.
- These must now be used to define an infinite volume limit, I presume, which needs again new arguments that you'll summarize for us.
- Then one must proceed to verify that the limiting theory is Lorentz invariant and nontrivial.

I just noticed a paper by Brydges et al. in Comm. Math. Phys. 91 (1983), 141-186,
which I haven't read yet but which promises to give an ''extremely simple proof'' for the existence and nontriviality of Phi^4_3 theory in Euclidean space. Is this a very different approach, or just (because of the Wick rotation) a slicker handling of the same technicalities as those you presented/will present?

 

[DarMM]

- I guess you meant: follow the eigenvectors...

Thanks for pointing that out, indeed "follow the eigenvectors".

- One now knows that on the new Hilbert space, H is defined as a quadratic form.
- This H will turn out (by different arguments, not yet given) to be self-adjoint and bounded below.

Perfectly correct. Arguing that it is bounded below is the truly difficult part.

- Thus we have such an H for every bounded region in space.

Correct, this will play an important role later. This is similar to the 2D case, before the infinite volume limit. However in the 2D case all the Hamiltonian for each region are all the "same" (in a sense I will define later). Not so for the 3D case.

- These must now be used to define an infinite volume limit, I presume, which needs again new arguments that you'll summarize for us.

Yes, however the arguments for the infinite volume limit are significantly more difficult than for the 2D case. For reasons I will explain.

- Then one must proceed to verify that the limiting theory is Lorentz invariant and nontrivial.

Yes, in some ways the most difficult step. It is difficult to establish that a limit exists and is well-defined, but far more difficult to prove Lorentz invariance of that limit, since that is property of only the limit itself, not of any of the cutoff models. Hence it can only be proven with estimates on the limit itself, not using the cutoff models and uniformity arguments. Also showing the theory is nontrivial requires quite advanced techniques since you must obtain estimates on the correlation functions.

I just noticed a paper by Brydges et al. in Comm. Math. Phys. 91 (1983), 141-186,
which I haven't read yet but which promises to give an ''extremely simple proof'' for the existence and nontriviality of Phi^4_3 theory in Euclidean space. Is this a very different approach, or just (because of the Wick rotation) a slicker handling of the same technicalities as those you presented/will present?

It's a very different approach. Constructive Field Theory has two main branches, Hamiltonian and Functional Integral. One proves existence of quantum field theories by constructing the Hamiltonian on the correct Hilbert space. The other shows convergence of the Euclidean path integral.

However Brydges et. al, manage to prove the existence of a QFT via perturbation theory, something which was shocking at the time. This is because for scalar super-renormalizable models, the path integral on a infinite lattice can be rewritten as a kind of diffusion process which allows you to obtain three very powerful bounds on the four point function. Then those bounds, together with the Schwinger Dyson equation for the propogator and standard perturbation theory are enough to show the convergence and nontriviality of the theory in the continuum limit.

Basically the Schinger-Dyson equation and perturbation theory allow you to express the propagator as a function of itself, the free propogator and the four point function. The bounds on the four point function replace the four point function with expressions involving the propagator. So now one only has the propagator as a function of itself and the free propagator. The free propagator can be bounded easily since we have an explicit form for it. So finally one has the propagator bounded as a polynomial of itself.
Continuity in the coupling constant shows this polynomial is bounded above for small values of the coupling. So the propagator is bounded above and hence cannot diverge.

You can then show that the difference between the propagator and the free propagator is bounded away from zero. Also going back to the estimates on the four point function show it is bounded away from zero, so the theory is nontrivial.

However the method has some drawbacks:
1. Lorentz/Euclidean invariance is very difficult to show. It has never been done with this method.
2. It will only work for scalar theories, since to get the estimates on the 4-point function required writing the theory as a diffusion process. This can't be done for other theories like those containing fermions or gauge fields.
3. It only works for super-renormalizable models because the estimates, although still true, are useless for a renormalizable theory. They don't tell you anything you can use.
4. The interaction must be quartic.

Beyond that, it is so slick that you don't see what is happening "behind the scenes" in the construction of a quantum field theory. So for pedagogy I choose to leave it alone. Of course if you want to understand a complete proof of the existence of a QFT it's quite good, if you can tolerate the absence of a proof of Euclidean invariance. I will mention another simple proof, which proves everything, in a later post as well.

 

[A. Neumaier]

It is difficult to establish that a limit exists and is well-defined, but far more difficult to prove Lorentz invariance of that limit, since that is property of only the limit itself, not of any of the cutoff models. Hence it can only be proven with estimates on the limit itself, not using the cutoff models and uniformity arguments.

But this is, of course, the key property. Without Lorentz invariance, the Wightman setting would be worthless. After all, there are lots of local QFTs that lack this property.

It's a very different approach. Constructive Field Theory has two main branches, Hamiltonian and Functional Integral. One proves existence of quantum field theories by constructing the Hamiltonian on the correct Hilbert space. The other shows convergence of the Euclidean path integral.

However Brydges et. al, manage to prove the existence of a QFT via perturbation theory, something which was shocking at the time. This is because [...]

Thanks for the outline.

Euclidean field theory, though it has some successes, is for me like trying to attack fluid dynamics problems by analytic continuation to elliptic equations, simply because the latter have a nicer theory. It is against the spirit...

No, I want to see the Hamiltonian approach. But can't one make use there of field equations and perturbation theory, too? Has it been tried and found wanting? (I had difficulties even to find papers on field equations in the rigorous approach - found only very few...)

if you can tolerate the absence of a proof of Euclidean invariance.

I don't want to tolerate that. It is needed to be able to go back from the Euclidean regime to the Wightman setting.

 

[DarMM]

But this is, of course, the key property. Without Lorentz invariance, the Wightman setting would be worthless. After all, there are lots of local QFTs that lack this property.

Indeed, luckily it can be proved. However it usually proven in a separate paper to other results because it requires such different estimates.

But can't one make use there of field equations and perturbation theory, too? Has it been tried and found wanting?

Yes, perhaps there is a better way of doing things, but so far perturbation theory hasn't been much use in the Hamiltonian approach, except as a guide to what renormalizations are necessary.
The field equations have conventionally been something that is checked in the model after it is constructed. For example Schrader has a paper "Local Operator Products and Field Equations in \mathcal{P}(\phi)_{2} Theories", Fortschritte der Physik 22, p611. Where he verifies that the real field on the physical Hilbert space obeys:
(\partial^{2} - m^{2})\phi = :\mathcal{P}^{'}(\phi):, where the Wick ordering is with respect to the vacuum of the true Hilbert space.

There have been some use of the field equations as a tool of construction in the finite volume case, but more on that later.

 

[A. Neumaier]

(Okay, I realized I was delaying too long and I had already enough to deal with the first stage, so here goes.)

Alright, let us deal with the first step of \phi_{3}^{4}.

Since climbing the ladder seems to be contingent on a very time-consuming process of gathering notes , let me ask some interim questions which can perhaps be answered without notes:

I know that QED in 1+1 dimensions exists but is somewhat trivial, and that it is very difficult to say something about QED in 1+3 dimensions. But I haven't heard anything about the status of QED in 1+2 dimensions. It should be super-renormalizable and hence easier to handle than the 4D case. Is there any work on this?

 

[DarMM]

Three dimensional case: Part II

Okay, thus far we have shown that the Hamiltonian is defined and symmetric on a new Hilbert space.
Now we need to demonstrate that the Hamiltonian is semi-bounded and self-adjoint.

Firstly, that the Hamiltonian is self-adjoint is handled in Glimm's paper. One simply uses the
Friedrich's extension, which gives a self-adjoint operator from a symmetric one. However this leaves
Glimm with two uniqueness problems:
(1) Is the Friedrich's extension the only possible self-adjoint Hamiltonian
(2) The new Hilbert space is constructed by approximating the dressing transformation,
Will different Hilbert spaces result from different approximations.

Both problems were solved by Eckmann and Osterwalder in:
On the Uniqueness of the Hamiltonian and of the Representation of the CCR for the Quartic Boson Interaction in three Dimensions. Helv. Phys. Acta 44, 884-909

One essentially analyses the Hilbert spaces from an abstract C*-algebra point of view. You can prove then that all alternative truncations of the dressing transformation result in unitarily equivalent Hilbert spaces, and that the Friedrich's extension is unique.

This leaves only the problem of proving that the Hamiltonian is semi-bounded.

Solving this problem resulted in, in my opinion, the most difficult paper ever published rigorous field theory.
J. Glimm and A. Jaffe, Positivity of the \phi^{4}_{3} Hamiltonian, Fortschr. Phys. 21, 327–376.

I will only give a brief idea of this paper. Essentially the authors consider e^{-tH} as an operator and
separate out its action on degrees of freedom on different scales, trying to see which degrees of freedom dominate others
which will show if the Hamiltonian is a positive operator. This involves studying the action of the Hamiltonian on kets that correspond to states localised in different regions of spacetime or, to put it another way, spatial modes of the Hamiltonian localised in different areas and showing that they are independent in certain well-defined way.
To be more explicit one splits up the action of the Hamiltonian into phase-cell regions, (phase = "phase space") of length R^{i} in position space and R^{-i} in Momentum space. One then "flows" inductively from i to i + 1, obtaining estimates on each degree of freedom. Degrees of freedom at lower momenta dominate those at higher momenta, something true for all super-renormalizable models. This allows you to estimate the Hamiltonian itself and show that it is semi-bounded. (Of course the "flow" is related to the renormalization group.)

In the original draft of Glimm and Jaffe's paper everything was carried through using operators. However in the published version functional integral representations of e^{-tH} are used to simplfy the proofs, which shortened the paper by a factor of two.

So the Hamiltonian is self-adjoint and semi-bounded in a finite volume, hence the continuum limit is dealt with. All that remains is the infinite volume limit.

 

[A. Neumaier]

Thanks for the new installment. I know it is a lot of work to make this sort of abstract stuff reasonably intelligible.

This leaves only the problem of proving that the Hamiltonian is semi-bounded.[...] Essentially the authors consider e^{-tH} as an operator

I haven't yet read the paper you cited (this will take time!), but doesn't forming this operator already assume the semi-boundedness, or at least some bounds on the spectral density of very negative eigenvalues of H? What is the theorem employed that guarantees that e^{-tH} exists?

Degrees of freedom at lower momenta dominate those at higher momenta, something true for all super-renormalizable models. This allows you to estimate the Hamiltonian itself and show that it is semi-bounded. (Of course the "flow" is related to the renormalization group.)

And I guess, this is what goes wrong in the 4D case?

All that remains is the infinite volume limit.

I am looking forward to Part III!

 

[DarMM]

I haven't yet read the paper you cited (this will take time!),

The Glimm and Jaffe paper is very hard going, I can confidently say it is the paper that took me the longest period of time to understand. Instead of reading it entirely, I would recommend the exposition of phase space analysis found in Vincent Rivasseau's "From Perturbative to Constructive Renormalization". You can understand the method presented there and read the Glimm and Jaffe paper much more easily bearing in mind that their method is an "older" version of what is in Rivasseau's book.
Of course I should mention that many people, including Jaffe himself consider the older, more subtle method found in their original paper to be deeper than later developments and it is possible that the method is more powerful than was realized at the time.

but doesn't forming this operator already assume the semi-boundedness, or at least some bounds on the spectral density of very negative eigenvalues of H? What is the theorem employed that guarantees that e^{-tH} exists?

Yes, that is true. I should have said that they analyse e^{-tH_{\kappa}}, where H_{\kappa} is the cutoff renormalized Hamiltonian. By this phase space analysis you can bound from below its spectrum in a way that shows that the continuum Hamiltonian acting on Glimm's Hilbert space is semi-bounded. This involves slowly removing the cutoff and showing that the new higher modes introduced as the cutoff is raised are dominated by the lower modes. The difficult part of the analysis comes from the fact that the momentum cutoff has an effect back in coordinate space and you have to show that playing around with the momentum cutoff doesn't effect spatial independence. So you need a technique of controlling both momentum and spatial degrees of freedom, hence phase space analysis.

And I guess, this is what goes wrong in the 4D case?

Exactly. In the 4D case all modes are equally important, none dominate obviously over others. So it is necessary to obtain the best estimates you can in order to show that the Hamiltonian remains bounded. Folk knowledge is that it is probably necessary to obtain the optimal estimates in order to complete the proof.

The extra difficulties of the four dimensional case are:
(i) The importance of all modes, this is the nonperturbative realisation of the fact that all orders of perturbation theory need to be renormalised.
(ii) The coupling constant is renormalised. In the three-dimensional case \lambda is just a parameter labelling interactions and doesn't really effect the phase space analysis too much. In a theory where the coupling constant is renormalised, the coupling is different on every scale, so different modes interact at different strengths.

There are other difficulties associated with the infinite volume limit of the four dimensional theory, but I'll mention them in my post about the three dimensional infinite volume limit.

 

[DarMM]

I know that QED in 1+1 dimensions exists but is somewhat trivial, and that it is very difficult to say something about QED in 1+3 dimensions. But I haven't heard anything about the status of QED in 1+2 dimensions. It should be super-renormalizable and hence easier to handle than the 4D case. Is there any work on this?

Not very much. Both QED and the Higgs model have been shown to exist in two dimensions. For QED in three dimensions, Guy Battle has shown that it has a well behaved perturbation theory, however I'm not aware of any work on the non-perturbative existence of the theory. People have shown that scalar and fermion interactions work in three and two dimensions and abelian gauge field and fermion interactions work in two dimensions. I think people became more interested in showing Yang-Mills existed and nobody choose to work particularly with 3d QED because it involved an extension of what was already known to a case where nobody expected many surprises but would still require a lot of work.

 

[A. Neumaier]

Both QED and the Higgs model have been shown to exist in two dimensions. For QED in three dimensions, Guy Battle has shown that it has a well behaved perturbation theory, however I'm not aware of any work on the non-perturbative existence of the theory.

Do you refer to this paper?
Guy Battle,
Ondelettes: The spinor QED_3 connection
Annals of Physics 201 (1990), 117-151

It is strange that Google Scholar lists not a single paper citing it!

People have shown that scalar and fermion interactions work in three and two dimensions and abelian gauge field and fermion interactions work in two dimensions. I think people became more interested in showing Yang-Mills existed and nobody choose to work particularly with 3d QED because it involved an extension of what was already known to a case where nobody expected many surprises but would still require a lot of work.

Well, it would at least make a good thesis topic for an excellent student, whereas constructing Yang-Mills would be too risky to give as task to even the best graduate student.

Also I don't quite agree that nothing interesting is to be expected. Isn't 2D QED too degenerate to give much insight into higher dimensional gauge field theories? Does it have a nontrivial infrared problem?

On the other hand, with Yang-Mills in mind, what is known about non-abelian gauge theories in the easier dimensions 2 and 3?

 

[DarMM]

Do you refer to this paper?
Guy Battle,
Ondelettes: The spinor QED_3 connection
Annals of Physics 201 (1990), 117-151

It is strange that Google Scholar lists not a single paper citing it!

Yes, that's it. I've read the paper and it's good work, but I think it has no citations because the book:
J. Feldman, T. Hurd, L. Rosen, J. Wright, QED: A Proof of Renormalizability
shows that QED is renormalizable and people might not really be interested in a "more constructive" approach to the same result in lower dimensions. What Battle does is to go beyond the book above in the three dimensional case and obtain good estimates on the perturbative series.

Well, it would at least make a good thesis topic for an excellent student,

I agree.

whereas constructing Yang-Mills would be too risky to give as task to even the best graduate student.

I definitely agree!

Also I don't quite agree that nothing interesting is to be expected. Isn't 2D QED too degenerate to give much insight into higher dimensional gauge field theories? Does it have a nontrivial infrared problem?

There would be a lot to learn about the theory in the three dimensional case, for instance the infrared issues of defining the asymptotic states and constructing the S-matrix. I would be very interested to see exactly what QED is like in a non-trivial setting, outside the generalities of algebraic field theory. Unfortunately QED's infrared issues are not believed to help with the infrared issues of Yang-Mills and people are very interested in Yang-Mills now, so it has escaped people's minds a bit.

On the other hand, with Yang-Mills in mind, what is known about non-abelian gauge theories in the easier dimensions 2 and 3?

In the the two dimensional case, baring some minor technicalities, the theory is pretty much known to exist. I think after this thread is completed I will start another one on Yang-Mills to describe this work.
In the three-dimensional case Balaban and others have produced hundreds of pages of extremely technical estimates which have brought a proof of the continuum limit into sight. However Balaban's work "passes beyond human comprehension" to paraphrase Vincent Rivasseau.

Apparently Balaban has proven more than appears in his papers, but it has become so technical that he prefers to wait for a simpler method. Of course this is just "Folk knowledge" but it is interesting none the less.

 

[A. Neumaier]

There would be a lot to learn about the theory in the three dimensional case, for instance the infrared issues of defining the asymptotic states and constructing the S-matrix. I would be very interested to see exactly what QED is like in a non-trivial setting, outside the generalities of algebraic field theory.

Me too!

Unfortunately QED's infrared issues are not believed to help with the infrared issues of Yang-Mills

Are there rational grounds for this belief?

 

[A. Neumaier]

The Glimm and Jaffe paper is very hard going, I can confidently say it is the paper that took me the longest period of time to understand. Instead of reading it entirely, I would recommend the exposition of phase space analysis found in Vincent Rivasseau's "From Perturbative to Constructive Renormalization".

Well, my ''reading'' of these abstract matters is far from a thorough study - just getting a feeling for what is happening and why.

I am looking for intuition that can form my picture of what should happen. But I don't believe that the current constructive approaches are the right way to proceed. The ultimate proof will be based on a conceptual advance and then go along different lines, uniformly for all dimensions where the theory is supposed to exist. I am actively looking for this conceptual advance, and take the proved stuff and the arguments used only as constraints for my search!

 

[DarMM]

Are there rational grounds for this belief?

Yes, I believe so. QED's infrared problem is mainly related to the asymptotic space of states not being a Fock space. Essentially because photons are massless, all electrons pick up a soft photon cloud. These electron + cloud and photon + cloud states are the appropriate in/out states. However getting enough information on these states to show a unitary S-matrix exists between them is very difficult. So QED's infrared problem is a massless force carrier problem which makes a treatment of the S-matrix difficult.

Yang-Mills on the other hand has different infrared behaviour, it should be the same as QED since the gauge field is massless. However, as we all know, the theory confines and has massive states. In comparison to QED this automatically guarantees an S-matrix exists. Here the infrared problem is the emergence of confinement, why does the quantum theory have mass where as the classical theory doesn't? Due to this mass gap Yang-Mills will have different behaviour as you attempt to take the infinite volume limit.

 

[DarMM]

I am looking for intuition that can form my picture of what should happen. But I don't believe that the current constructive approaches are the right way to proceed.

I think many people feel the same way. Mainly because the constructive methods became so advanced and removed from the theory. For example many people do not find it very satisfying that one can show Yukawa theory exists in three dimensions by Wick rotating to Euclidean space to rewrite the theory as an abstract statistical mechanical system and then proving it exists by proving pages of analytic estimates on the statistical mechanical system.

The ultimate proof will be based on a conceptual advance and then go along different lines, uniformly for all dimensions where the theory is supposed to exist. I am actively looking for this conceptual advance, and take the proved stuff and the arguments used only as constraints for my search!

At the right point in the ladder I'll provide some references to people who have tried alternative roots. The main trend currently is that the constructive methods are still too classical, being tied to the Lagrangian. People are trying a directly quantum approach. More on this later.

 

[A. Neumaier]

I think many people feel the same way. Mainly because the constructive methods became so advanced and removed from the theory. For example many people do not find it very satisfying that one can show Yukawa theory exists in three dimensions by Wick rotating to Euclidean space to rewrite the theory as an abstract statistical mechanical system and then proving it exists by proving pages of analytic estimates on the statistical mechanical system.

Yes. It is like trying to work on supersonic flow by analytic continuation to elliptic equations...

At the right point in the ladder I'll provide some references to people who have tried alternative roots. The main trend currently is that the constructive methods are still too classical, being tied to the Lagrangian. People are trying a directly quantum approach. More on this later.

This brings me to a question that I'd have asked later in the context of triviality:
What is the rigorous criterion that decides whether a quantum field theory is Phi^4? Should there ever be a theorem that says ''Phi^4_4 theory does not exist'', one needs an axiomatic definition of what it means to be Phi^4 that is not tied to a particular construction.

The work by Aizenmann and Froehlich on the triviality of Phi^4_d for d>4 is inadequate in this respect, as it only shows that a particular, presumably reasonable approach to constructing the theory failed. This is too little to prove nonexistence, since there might be other constructions that could work. For example, what do you think of Klauder's approach in http://lanl.arxiv.org/pdf/1101.1706 ?

 

[QuantumClue]

From the thread, Rigorous Quantum Field Theory:



I only saw the first (2D) part of this promise delivered. Since I found it a quite interesting summary, I would be interested in the remaining parts on the 3D and 4D case.

I have a question about a phi^4 term that I encountered recently and I simply want to understand the dynamics.

I have for a Langrangian L = \frac{1}{2} \nabla^2 \phi^2 + \frac{1}{2} M^2 \phi^2 - \frac{1}{4} g\phi^4

So 1/4g\phi^4 is an interaction term. It is also a potential. But then V the potential is also equal to 1/2(M\phi)^2 so how come there are two potential terms. What is the dynamics of this?

Thanks

ps i do not know why the equation is not showing, here

L = \frac{1}{2} \nabla^2 \phi^2 + \frac{1}{2) M^2 \phi^2 - \frac{1}{4} g\phi^4

 

[Fredrik]

ps i do not know why the equation is not showing

You typed ) instead of }. You can edit your post for 11 hours and 40 minutes. (Remember to refresh and resend after each preview. You may also have to refresh one more time after saving the changes).

 

[QuantumClue]

Oops, thank you.

 

[dextercioby]

The g\phi^4 is a change in the potential. From a dynamical perspective, it can be seen as a perturbation to the initial Hamiltonian, or from an interaction perspective, it is a self-coupling term.

 

[strangerep]

QED's infrared problem is mainly related to the asymptotic space of states not being a Fock space. Essentially because photons are massless, all electrons pick up a soft photon cloud. These electron + cloud and photon + cloud states are the appropriate in/out states. However getting enough information on these states to show a unitary S-matrix exists between them is very difficult. So QED's infrared problem is a massless force carrier problem which makes a treatment of the S-matrix difficult.

I was under the impression that the old work by Chung, Kibble, Kulish+Faddeev,
and more recently Lavelle+McMullan+et al, had already found the appropriate
asymptotic states -- in which asymptotic electrons are accompanied by a Coulomb
and radiation field -- and that this solves the QED IR problems to all orders.

Kibble constructs a very large nonseparable space, but Kulish+Faddeev just
concentrate on the asymptotic spaces, deriving an S-matrix that maps
between them. (This is probably only at the level of rigor of theoretical physics,
borrowing Arnold's phrase. :-)

In these treatments of IR, they don't bother to dress the asymptotic photons since
no residual part of the interaction remains at light-like infinity. Could you give some
details/references about the "photon + cloud" you mentioned, as relevant in this
case, please?

 

[QuantumClue]

The g\phi^4 is a change in the potential. From a dynamical perspective, it can be seen as a perturbation to the initial Hamiltonian, or from an interaction perspective, it is a self-coupling term.

And this is taken from the total energy of the system 1/2 \nabla^2 \phi^2 + 1/2 M^2 \phi^2?

So if M^2 \phi^2 is the potential energy on of the system and g\phi^4 is the the change in the potential, are they effectively describing the same potential, or is it like describing V(x) and V(\alpha) as two potential depending on different functions?

 

[dextercioby]

No, it's just one single potential for the whole system. V(x) = \mu \varphi^2 + \lambda \varphi^4.

 

[DarMM]

I was under the impression that the old work by Chung, Kibble, Kulish+Faddeev,
and more recently Lavelle+McMullan+et al, had already found the appropriate
asymptotic states -- in which asymptotic electrons are accompanied by a Coulomb
and radiation field -- and that this solves the QED IR problems to all orders.

Oh yes, it solves it to all orders in perturbation theory. I'm only talking about its solution nonperturbatively at a rigorous level. Like most things however the solution is basically what those authors describe, but it is difficult to show this is the case in constructive field theory. For instance it is obvious that \phi^{4}_{2} with a non-zero mass term has a mass gap. However showing this nonperturbatively at a rigorous level is very difficult.

In these treatments of IR, they don't bother to dress the asymptotic photons since
no residual part of the interaction remains at light-like infinity. Could you give some
details/references about the "photon + cloud" you mentioned, as relevant in this
case, please?

Cloud is a very loose way of referring to the coherent photon states. Technically every state has to have this non-Fock coherent state structure tagged on. The book by Strocchi "Symmetry breaking" and Othmar Steinmann "Perturbative quantum electrodynamics and axiomatic field theory". Of course the basic picture is as you have stated, all this is simply making it mathematically rigorous.

 

[strangerep]

In these treatments of IR, they don't bother to dress the asymptotic photons since
no residual part of the interaction remains at light-like infinity. Could you give some
details/references about the "photon + cloud" you mentioned, as relevant in this
case, please?

Cloud is a very loose way of referring to the coherent photon states.
Technically every state has to have this non-Fock coherent state structure tagged on.

Let's see if I understand. The physical asymptotic electron states are constructed
by acting on the bare electron states with an exponential operator whose exponent
involves the bare photon operator. I think you're saying that the bare photon
states must be acted on by this same operator to get physical asymptotic photon
states? I.e., the bare photon is essentially dressed with itself, but not with (e.g.,) an
expression involving electron-positron pairs?

The book by Strocchi "Symmetry breaking" and Othmar Steinmann "Perturbative quantum electrodynamics and axiomatic field theory". Of course the basic picture is as you have stated, all this is simply making it mathematically rigorous.

I have Steinmann, but had trouble extracting a comprehensible picture from it.
I'll take a look at Strocchi. Thanks.