Haag's Theorem, Perturbation, Existence and QFT.

  • Thread starter Son Goku
  • Start date
Hello, I just reading and learning QFT and there is something I've been wondering, hopefully somebody here can help me.

Let's say we have an interacting Quantum Field Theory, such as Quantum Electrodynamics if we want to compute an amplitude such as two electrons scattering off each other, then we take the following steps:

1. We simulate the full interacting theory by making a perturbation about the free theory.

2. Since we're doing a scattering amplitude we can approximate the incoming and outgoing states as free field states

3. We sum up the perturbation terms, using all our renormalization and regularization techniques and we get the amplitude for the process.

Now, I have heard that the perturbation series does not converge for Quantum Electrodynamics and I was wondering what is the reason for this.

Is it because the perturbation series cannot fully represent the full nonperturbative theory, kind of like what happens for the expansion of [tex]\frac{1}{1+x^2}[/tex] for [tex]x > 1[/tex]. This is what I would have guessed.
However I've also read it more so has to do with the interacting Hamiltonian not being a well defined operator (not densely defined) on the Hilbert space of the free field. Which would make sense since the perturbation series is nothing more (in my understanding) than an attempt to simulate evolution in the interacting field Hilbert space due to the full Hamiltonian, by acting repeatedly on the free field Hilbert space with the interacting Hamiltonian [tex]H_{I}[/tex]

I've also heard that full nonperturbative Quantum Electrodynamics has not even been proven to exist. What does this mean?
Also what is the content of Haag's Theorem? I've read it's statement, but I'd like to hear from others in case my understanding is wrong.

Sorry for all the questions, just want to get it right. Fascinating stuff.
 
1,699
37
Also what is the content of Haag's Theorem? I've read it's statement, but I'd like to hear from others in case my understanding is wrong.

The central quantity defined in any quantum field theory is the "free quantum field". For example, the free field associated with spin-zero massive particles is

[tex] \phi(\mathbf{r}, t) = \int \frac{d^3p}{(2 \pi \hbar)^{3/2}\sqrt{2 E_p}}(e^{-\frac{i}{\hbar}(\mathbf{pr} - E_pt) }a_{p} + e^{\frac{i}{\hbar}(\mathbf{pr} - E_pt) }a^{\dag}_{p})[/tex]

These fields are used to construct interaction Hamiltonians [itex] V [/itex] (or, more generally, an interacting representation of the Poincare group in the Fock space) and to calculate the S-matrix, as I briefly described in https://www.physicsforums.com/showpost.php?p=1382473&postcount=231
The resulting theory is relativistically invariant and agrees very well with experimental observations.

The time evolution of free quantum fields is controlled by the free Hamiltonian [itex] H_0 [/itex]

[tex] \phi(\mathbf{r}, t) = e^{- \frac{i}{\hbar}H_0 t} \phi(\mathbf{r}, 0) e^{\frac{i}{\hbar}H_0 t}[/tex]

and they have covariant transformation laws with respect to the non-interacting representation [itex]U_0 [/itex] of the Poincare group. For example, if [itex] \Lambda [/itex] is a boost, then

[tex] U_0(\Lambda)\phi(x) U_0^{-1}(\Lambda)= \phi(\Lambda x) [/tex]

where [itex] x \equiv (\mathbf{r}, t) [/itex].

In some textbooks you can also find so-called "interacting fields" whose time evolution is governed by the full interacting Hamiltonian [itex] H = H_0 + V [/itex]. I will denote the interacting field by capital [itex] \Phi [/itex]

[tex] \Phi(\mathbf{r}, t) = e^{- \frac{i}{\hbar}H t} \phi(\mathbf{r}, 0) e^{\frac{i}{\hbar}H t}[/tex]

The statement of Haag's theorem is that this interacting field cannot have a covariant transformation law with respect to the interacting representation of the Poincare group [itex] U [/itex], i.e.,

[tex] U(\Lambda)\Phi(x) U^{-1}(\Lambda) \neq \Phi(\Lambda x) [/tex]

Is this a disaster or not-a-big-deal? It depends on your philosophical views. If you believe that interacting quantum fields are fundamental ingredients of nature, and that relativistic invariance implies covariant transformation laws, then Haag's theorem has a disastrous effect.

However, if you think (see e.g., vol. 1 of Weinberg's "The quantum theory of fields") that the primary constituents of nature are particles and that free quantum fields are just formal mathematical objects whose only role is to help in construction of relativistic Hamiltonians as in
https://www.physicsforums.com/showpost.php?p=1382473&postcount=231
then Haag's theorem is just an insignificant curiosity.

Eugene
 

olgranpappy

Homework Helper
1,271
3
Dyson wrote a really cute paper about divergences in pert. theory.... I think the correct reference is:

Phys. Rev. 85, 631 - 632 (1952)

Basically, the idea is that the perturbation series in the coupling has to be an asymptotic series because were it convergent then the function which it converges to is analytic near zero, but that means the coupling constant (e^2 in QED or lambda in phi-fourth theory) could be taken not to be small and positive, but rather to be small and *negative.* And this is ridiculous on physical grounds.
 
Thank you very much.

Now all I need to know is what are these existence questions about. I have heard of the Wightman axioms, among others, but what does it mean for a QFT to exist?
 
1,699
37
Thank you very much.

Now all I need to know is what are these existence questions about. I have heard of the Wightman axioms, among others, but what does it mean for a QFT to exist?
I've never understood this talk. A non-existent theory cannot predict electron's magnetic moment to 13 significant digits.

Eugene.
 
Don't know if this will help, if the problem is that series is divergent you could use its 'Borel sum' attached to it, the Borel resummation can give consistent results even with asymptotic series evaluation amazing ¡¡
 

olgranpappy

Homework Helper
1,271
3
Another reference is the book by Wightman and Streater:

PCT, Spin, Statistics and all that.

It discusses Haag's theorem.
 
I want to come back to this for a second. I’ve been learned QFT from several books, but I’ve been reading Weinberg’s book for the last month and it has really clicked with me. His philosophy seems to be “Free quantum fields are objects used to construct relativistic Hamiltonians for particles, so that the Hamiltonian commutes itself at spacelike distances and gives a Lorentz invariant S-matrix.” So he takes the view that particles are the basic object of consideration.
Could you explain in a little more detail why Haag’s Theorem is okay if you take the particle interpretation?
Also in this view, why does the perturbation series diverge?
(Thanks for Dyson’s paper by the way, the main idea of the proof was actually rather simple.)

Also, I know Baez and Segal wrote a book that goes into the existence stuff a bit, does anybody know the name?

I must get PCT, Spin, Statistics and all that, it constantly gets referenced.
 

Haelfix

Science Advisor
1,944
196
I completely disagree with Eugene on this point. Usually Haags theorem is taken as a nogo for the particle concept in QFT (a sensible definition of an interacting Fock space), rather than the field concept.

Its worth pointing out that Haags theorem can be circumvented for canonical QFT in the following cases

1) Axiomatic field theory
2) Introduction of a volume cutoff
3) Renormalized canonical QFT

2 and 3 can be shown to be equivalent in some asymptotic sense with respect to Smatrix elements when you take suitable limits.
 
1,699
37
I want to come back to this for a second. I’ve been learned QFT from several books, but I’ve been reading Weinberg’s book for the last month and it has really clicked with me. His philosophy seems to be “Free quantum fields are objects used to construct relativistic Hamiltonians for particles, so that the Hamiltonian commutes itself at spacelike distances and gives a Lorentz invariant S-matrix.” So he takes the view that particles are the basic object of consideration.
Exactly! In my opinion, Weinberg's philosophy is the only one that makes sense (at least to me).

Could you explain in a little more detail why Haag’s Theorem is okay if you take the particle interpretation?
In Weinberg's approach, you only need *free* fields in order to build the S-matrix. The *interacting* fields are not needed at all. So, it is irrelevant for calculations and for the relativistic invariance of the theory whether the interacting fields transform by covariant formulas or not.

I also strongly recommend this paper: http://www.arxiv.org/abs/math-ph/0703021

Eugene.
 

strangerep

Science Advisor
2,957
734
[...] I’ve been reading Weinberg’s book for the last month and it has really clicked with me. His philosophy seems to be “Free quantum fields are objects used to construct relativistic Hamiltonians for particles, so that the Hamiltonian commutes itself at spacelike distances and gives a Lorentz invariant S-matrix.”
The trouble is that this approach works reasonably well to get QED,
but cannot produce full electroweak or QCD theory. For that, Weinberg
reverts to the "postulate-a-Lagrangian" approach.

So he takes the view that particles are the basic object of consideration.
I find the term "particles" a bit ambiguous/misleading. "Irreducible
representations of the Poincare group" is probably better (when
shortened to "Poincare irreps" :smile:).

Baez and Segal wrote a book that goes into the existence stuff a bit,
does anybody know the name?
Are you talking about Baez, Segal & Zhou "Introduction to
Algebraic and Constructive QFT"? You can download it from
http://math.ucr.edu/home/baez/papers.html
 

strangerep

Science Advisor
2,957
734
I completely disagree with Eugene on this point. Usually Haags theorem is taken as a nogo for the particle concept in QFT (a sensible definition of an interacting Fock space), rather than the field concept.
That depends on how you define the "interacting Fock space", and the
details get rather tricky. There's a little-known book by G. Barton
"Introduction to Advanced Field Theory" which talks about Haag's
theorem in a broader perspective. Here's an extract from Barton:

The following assumptions have been introduced:
1) Lorentz covariance of the theory
2) positive-definite norm
3) local commutativity
4) existence of an invariant and normalizable vacuum
5) positive-definite energy spectrum
6) Canonical equal-time commutation rules, plus
completeness of the canonical variables
7) absence of improper unitary transformations, i.e: non-occurrence of
inequivalent representations of the CCRs.
8) The vector space in which the field theory operates also accommodates
a representation of the free field operator.

Subject to the assumptions (1)-(8), we have shown that no field
theory exists which differs from that of a free field. This is the
statement popularly known as Haag's theorem.
One further subtlety (IMHO) lies in precisely what one means by
"Lorentz covariance" in (1) above. In AQFT, it's typically defined in
conjunction with notions that the field operators are defined over Minkowski
spacetime, with field operators parameterized in terms of x,t.
This has well-known problems stemming from the fact that
these (x,t) are merely parameters, not position observables.

However, one might alternatively try to construct an interacting
representation of the Poincare group directly without the crutch
of a Minkowski spacetime picture. In that case, the detailed meaning
of "Lorentz covariance" is distinctly different from the one used in AQFT.
I think this is a source of truly vast confusions/misunderstandings
between orthodox QFT proponents and alternative approaches such
as Kita, Shirokov, Stefanovich, and others.

The bottom line here seems to be that Haag's theorem is
a no-go for certain attempted-theories only within the overall
framework of the orthodox QFT axioms (eg Haag-Kastler)
.

It's worth pointing out that Haags theorem can be circumvented
for canonical QFT in the following cases
1) Axiomatic field theory
[...]
Are you alluding to the LSZ formalism and the more rigorous
Haag-Ruelle scattering theory? (Igot the impression that AQFT
is not much good for local gauge theories and the physically-useful
interactions. So if even it can evade Haag's theorem I'm not sure
what help that would be.)
 
1,699
37
However, one might alternatively try to construct an interacting
representation of the Poincare group directly without the crutch
of a Minkowski spacetime picture. In that case, the detailed meaning
of "Lorentz covariance" is distinctly different from the one used in AQFT.
I think this is a source of truly vast confusions/misunderstandings
between orthodox QFT proponents and alternative approaches such
as Kita, Shirokov, Stefanovich, and others.
I would like to mention Weinberg as well. Weinberg's particle-based approach (vol. 1 of "The quantum theory of fields") diverges from AQFT axioms in a few important aspects. In his approach, only free quantum fields are necessary, which are just convenient mathematical objects used for the sole purpose of building interaction Hamiltonians, and void of any physical interpretation. The properties of free fields

1) Lorentz covariance
3) local commutativity
6) Canonical equal-time commutation rules, plus completeness of the canonical variables

do not have any deep physical significance as well. They are introduced for the convenience of building an interacting representation of the Poincare group in the Fock space.

However, as you correctly pointed out, Weinberg sticks to the particle-based program only in first chapters of his vol. 1. In order to "derive" interaction Hamiltonians he needs to switch completely to field Lagrangians, gauge symmetry, etc. in vol. 2. Unfortunately, currently there is no alternative way to write down realistic interactions. This is the greatest challenge for the particle-based approach in QFT.

Eugene.
 

Haelfix

Science Advisor
1,944
196
Are you alluding to the LSZ formalism and the more rigorous
Haag-Ruelle scattering theory? (Igot the impression that AQFT
is not much good for local gauge theories and the physically-useful
interactions. So if even it can evade Haag's theorem I'm not sure
what help that would be.)
Yea amongst others. It gets into myriad subfields of physics and mathematics that I don't know much about. Afaik they have some rigorous interacting examples that are well defined in two dimensions, but for the gauge theories of physical interest, they've stalled for over thirty years in their attempts.

Its worth pointing out that effective field theories bypass the crux of the Haag theorem, as they often introduce cutoffs that break covariance explicitly (eg Lattice QfT) or alternatively, they make the math illdefined so the theorem can't be proved =) Its only when you take the point of view of QFT as truly fundamental rather than merely asymptotic solutions that you run into the deep mathematical problems.
 
Are you talking about Baez, Segal & Zhou "Introduction to
Algebraic and Constructive QFT"? You can download it from
http://math.ucr.edu/home/baez/papers.html
Yes, thanks. I'm so glad it's free.

The trouble is that this approach works reasonably well to get QED,
but cannot produce full electroweak or QCD theory. For that, Weinberg
reverts to the "postulate-a-Lagrangian" approach.
Okay I'm going to give a short run down on what I've learned so far. Feel free to correct me if anything is incorrect.

Okay firstly, we can divide free (non-interacting) particles into Irreducible
representations of the Poincare group. (If you get what I mean, as in a sense they are "Poincare irreps".) From a big list of principles (given in Weinberg), the dynamics of these free particles can be found using fields of creation and annihilation operators.
(I know the dynamics are trivial for free particles and the fields are really introduced to treat interactions, but I'm just taking slow.)

Okay, now we turn to the case of interacting particles. Again we need to satisfy Weinberg's conditions. To do this we need to construct its Hamiltonian out of creation and annihilation operators, e.t.c.

Now after all this is done we actually turn to calculating things.
Firstly, finding the eigenkets of the full Hamiltonian and evolving them with [tex]e^{-iHt}[/tex] is too difficult.
To get around this, we first split the Hamiltonian into [tex]H = H_{0} + H_{I}[/tex]. What we basically do is use the Free Hamiltonian, it's eigenkets and the evolution it generates to define an orthonormal set of kets. Then the interaction Hamiltonian is used on these states.
This only requires free fields, a lá Weinberg.

Now we run into two "problems".
First of all Haag's theorem basically implies that it is inconsistent/mathematically unsound to simulate the full evolution under the true Hamiltonian in this manner. In other words, globally, the method of using interaction evolution on free field states does not work as the interaction operator is not well defined on the free particle Fock space.
(I've basically come to this interpretation of Haag's theorem from reading several papers and looking for an overall theme).

Secondly in order to get real world Hamiltonians we have to return to postulating classical Lagrangians and quantising them. Although this isn't a problem exactly.
 
1,699
37
Okay I'm going to give a short run down on what I've learned so far. Feel free to correct me if anything is incorrect.

Okay firstly, we can divide free (non-interacting) particles into Irreducible
representations of the Poincare group. (If you get what I mean, as in a sense they are "Poincare irreps".) From a big list of principles (given in Weinberg), the dynamics of these free particles can be found using fields of creation and annihilation operators.
(I know the dynamics are trivial for free particles and the fields are really introduced to treat interactions, but I'm just taking slow.)

Okay, now we turn to the case of interacting particles. Again we need to satisfy Weinberg's conditions. To do this we need to construct its Hamiltonian out of creation and annihilation operators, e.t.c.

Now after all this is done we actually turn to calculating things.
Firstly, finding the eigenkets of the full Hamiltonian and evolving them with [tex]e^{-iHt}[/tex] is too difficult.
To get around this, we first split the Hamiltonian into [tex]H = H_{0} + H_{I}[/tex]. What we basically do is use the Free Hamiltonian, it's eigenkets and the evolution it generates to define an orthonormal set of kets. Then the interaction Hamiltonian is used on these states.
This only requires free fields, a lá Weinberg.
That, basically, coincides with my understanding.

Now we run into two "problems".
First of all Haag's theorem basically implies that it is inconsistent/mathematically unsound to simulate the full evolution under the true Hamiltonian in this manner. In other words, globally, the method of using interaction evolution on free field states does not work as the interaction operator is not well defined on the free particle Fock space.
That's not how I understand the essence of Haag's theorem. Yes, there are problems with describing the interacting time evolution in renormalized QFT. These problems are related to the presence of infinite counterterms in the Hamiltonian. However, Haag's theorem refers to a problem of a different kind. This theorem would be valid even if the Hamiltonian was finite and well-defined. This theorem simply says that "interacting field" [itex] \Phi [/itex], which is defined as

[tex] \Phi(\mathbf{r}, t) = e^{-\frac{i}{\hbar}Ht} \phi (\mathbf{r}, 0) e^{\frac{i}{\hbar}Ht} [/tex]

cannot have a covariant transformation law with respect to boosts

[tex] e^{\frac{ic}{\hbar} \mathbf{K} \vec{\theta}} \Phi (x) e^{-\frac{ic}{\hbar} \mathbf{K} \vec{\theta}} \neq \Phi (\Lambda x) [/tex]

where [itex] \mathbf{K} [/itex] is interacting boost generator in the Fock space, and boost [itex] \Lambda [/itex] is characterized by the rapidity [itex] \vec{\theta} [/itex].

Eugene.
 

strangerep

Science Advisor
2,957
734
[Haag's] theorem simply says that "interacting field" [itex] \Phi [/itex], [...] cannot have a covariant transformation law with respect to boosts

[itex] e^{\frac{ic}{\hbar} \mathbf{K} \vec{\theta}} \Phi (x) e^{-\frac{ic}{\hbar} \mathbf{K} \vec{\theta}} \neq \Phi (\Lambda x) [/itex]

where [itex] \mathbf{K} [/itex] is interacting boost generator in the Fock space, and boost [itex] \Lambda [/itex] is characterized by the rapidity [itex] \vec{\theta} [/itex].
To avoid any confusion between what is/isn't mainstream, it should be
clarified that this is not what Haag's theorem "says" in its usual forms.
Rather it is one approach for evading the theorem.
 
1,699
37
To avoid any confusion between what is/isn't mainstream, it should be
clarified that this is not what Haag's theorem "says" in its usual forms.
Rather it is one approach for evading the theorem.
Haag's theorem exists in many different equivalent forms, and I thought that my form is equivalent to others. For example, it seems that it is equivalent to the following more canonical formulation (that can be found in the book by Streater & Wightman and in other places):

1. Suppose that we are having two fields: the free field [itex] \phi(\mathbf{r},t}) [/itex] which is covariant with respect to non-interacting boosts

[tex] U_0(\Lambda) \phi(x) U_0^{-1} (\Lambda) = \phi(\Lambda x) [/tex]

and the interacting field [itex] \Phi(\mathbf{r},t}) [/itex] which is covariant with respect to interacting boosts

[tex] U(\Lambda) \Phi(x) U^{-1} (\Lambda) = \Phi(\Lambda x) [/tex] (1)

2. Suppose that these fields are connected by a unitary operator [itex] W (t) [/itex] at all times

[tex] \Phi(\mathbf{r},t}) = W(t) \phi (\mathbf{r},t}) W^{-1}(t) [/tex]

(normally, it is implied that [itex] W (t) = \exp(\frac{i}{\hbar}Ht) \exp(-\frac{i}{\hbar}H_0t) [/itex], where [itex] H=H_0 + V [/itex] is the interacting Hamiltonian)

3. Assume some extra standard conditions: both fields have usual transformations with respect to translations and rotations; canonical commutation relations; the existence of a unique vacuum vector; the Hamiltonian is bounded from below,...

Then, Haag's theorem states that both fields [itex] \Phi(\mathbf{r},t}) [/itex] and [itex] \phi(\mathbf{r},t}) [/itex] are equivalent, i.e., that [itex] W (t) = 1[/itex], or that [itex] H = H_0 [/itex].

In other words, this theorem derives the non-existence of the interacting Hamiltonian from the covariant transformation law of the interacting field (1). In my formulation, I simply exchanged places of these two statements. I derived the non-existence of the covariant transformation law (1) from the existence of the interacting Hamiltonian [itex] H [/itex].

I think that both formulations are equivalent. Or I am missing something?...

The reason why I chose to formulate Haag's theorem in the non-traditional form is that I have no reason to doubt the existence of interactions, however, I am very doubtful about the physical meaning and usefulness of "interacting fields". From this point of view, the theorem becomes completely harmless.

Eugene.
 
Last edited:
358
0
In other words, this theorem derives the non-existence of the interacting Hamiltonian from the covariant transformation law of the interacting field (1). In my formulation, I simply exchanged places of these two statements. I derived the non-existence of the covariant transformation law (1) from the existence of the interacting Hamiltonian [itex] H [/itex].
So, can we conclude that there is no covariant theory for interacting Hamiltonians?I read that the problem is circumvented by LSZ formula--how?--by dealing with the free field only?
 
1,699
37
So, can we conclude that there is no covariant theory for interacting Hamiltonians?
Yes, I think this is correct. However, this doesn't mean that non-covariant theories are "bad or "wrong". Let me explain what I mean. There are two completely different notions that often get mixed up with terrible consequences. There is the notion of relativistic invariance and there is the notion of manifest covariance. It is important to distinguish them.

Relativistic invariance means that the Hilbert (or Fock) space of the physical system carries an unitary representation of the Poincare group. This is the fundamental requirement that must be satisfied by any realistic relativistic quantum theory. The importance of this requirement is well explained in vol. 1 of Weinberg's book series. All traditional quantum field theories, such as QED, satisfy this requirement, which guarantees, in particular, that observables have correct transformation laws with respect to boosts and other inertial transformations. The relativistic invariance (the Poincare commutators of interacting generators) of QED has been proven in

S. Weinberg, "Photons and gravitons in perturbation theory: Derivation of Maxwell's and Einstein's equations", Phys. Rev. 138B (1965), 988.

Manifest covariance means that interacting fields transform by certain simple formulas with respect to boosts. For example, the covariant transformation law of the scalar field is assumed to be

[tex] U(\Lambda) \Phi(x) U^{-1} (\Lambda) = \Phi(\Lambda x) [/tex].....(1)

These transformation laws are often assumed as something self-evident. However, I've never seen a good explanation of why they should be valid. (Wenberg's book explains why they should be valid for free fields, and I understand that. But interacting fields is a different matter.)

I think that in a broader sense, the meaning of Haag's theorem is to indicate the incompatibility of these two notions: the relativistic invariance and the manifest covariance. If I am forced to choose between the two, I'll definitely choose the relativistic invariance. I am sure that if somebody manages to construct interacting fields corresponding to QED (this is not an easy task), she will find that they do not transform covariantly. So what? Actually, there is an explicit example of an interacting fully relativistic theory in the Fock space, for which one can exactly construct the interacting fields and verify that their boost transformations are different from (1)

H. Kita, "A non-trivial example of a relativistic quantum theory of particles without divergence difficulties" Progr. Theor. Phys. 35 (1966), 934.

This contradiction between relativistic invariance and manifest covariance is not specific for quantum field theory. A theorem resembling Haag's theorem can be proved in relativistic classical mechanics of particles as well:

D. G. Currie, T. F. Jordan, E. C. G. Sudarshan, "Relativistic invariance and Hamiltonian theories of interacting particles" Rev. Mod. Phys. 35 (1963), 350.

This theorem basically says that if worldlines of interacting particles transform covariantly (by usual Lorentz formulas), then interaction between particles must be absent.

My conclusion is that the idea of manifest covariance should be abandoned in relativistically invariant theories. Of course, this is not a "mainstream" point of view. But you can judge for yourself whether it makes sense.



I read that the problem is circumvented by LSZ formula--how?--by dealing with the free field only?
I am not so familiar with LSZ formalism. Perhaps, strangerep knows better, as he mentioned LSZ in his post #12.


Eugene.
 
1,699
37
gptejms said:
I read that the problem is circumvented by LSZ formula--how?--by dealing with the free field only?
It looks obvious to me that "interacting fields" are not needed in S-matrix calculations. Feynman diagrams and propagators are formulated using "free fields" only. Is there any application of QFT where "interacting fields" are absolutely necessary?

Eugene.
 

Haelfix

Science Advisor
1,944
196
QCD, the electroweak sector, etc etc. Turn off interactions, and you have absolute nonsensical physics (like having absolutely massless particle spectrums, or unconfined quarks)

But look i'll concede that the exact mathematics behind interacting *gauge* field theories is quite incomplete and unknown. Otoh we know the standard formalism is correct in some sense (probably as a really good approximation to something), b/c it fits experiment so well, ergo there is a way to make it rigorous. This is the subject of the Clay Millenium prize, and indeed it is important for physical reasons too. We'd like to understand confinement and the mass gap analytically somehow.
 
1,699
37
QCD, the electroweak sector, etc etc. Turn off interactions, and you have absolute nonsensical physics (like having absolutely massless particle spectrums, or unconfined quarks)

But look i'll concede that the exact mathematics behind interacting *gauge* field theories is quite incomplete and unknown. Otoh we know the standard formalism is correct in some sense (probably as a really good approximation to something), b/c it fits experiment so well, ergo there is a way to make it rigorous. This is the subject of the Clay Millenium prize, and indeed it is important for physical reasons too. We'd like to understand confinement and the mass gap analytically somehow.
OK, I agree that gauge field theories have made a huge empirical progress. However, I think, it is also correct to say that nobody understands the physical meaning of gauge fields. (If somebody understood that, (s)he would have written a clear explanation without usual handwavings). I think that current stagnation in theoretical HEP is an indication that already in 1970's we exhausted all luck that we could get by playing with gauge groups. Now, we either need to obtain a solid understanding of what the gauge fields are, or replace them with something completely different.

This is just my uneducated opinion.
Eugene.
 

Related Threads for: Haag's Theorem, Perturbation, Existence and QFT.

Replies
19
Views
3K
  • Posted
3 4 5
Replies
108
Views
9K
Replies
29
Views
598
  • Posted
Replies
13
Views
1K
Replies
2
Views
2K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top