• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,075 questions , 2,226 unanswered
5,347 answers , 22,743 comments
1,470 users with positive rep
818 active unimported users
More ...

  Motivation for Haag axioms and algebra of distributions

+ 6 like - 0 dislike

Are the Haag axioms partly motivated by the fact that in the general case, it is impossible to form a differential algebra with (basic) Schwartz distributions? I got the impression due to the following fact :

In constructions of AQFTs, the whole algebra seems to be defined from the field operator, and not the canonical momentum. While not all QFTs are defined from a Lagrangian, it seems odd that no one would at least try to include it in some variation. On the other hand, $[\varphi(f), \pi(g)] = i \langle f, g \rangle$, meaning that $\delta(x-y)$ would be part of the algebra if we included it, which responds famously poorly to the product $\delta^2$.

Instead the field operator is defined directly via its propagator when the algebra is constructed, which seems like a hard thing to show if we did not know the theory already.

Also any quantity implying components of the stress energy tensor, which might cause the same problems, are not part of the algebra either but just part of the Poincaré isomorphisms of the algebra.

Are those choices partly motivated by the fact that distributions do not multiply trivially or am I mistaken?

This post imported from StackExchange Physics at 2017-02-28 18:16 (UTC), posted by SE-user Slereah

asked Feb 19, 2017 in Theoretical Physics by Slereah (540 points) [ revision history ]
edited Feb 28, 2017 by Dilaton

The main motivation for all axiomatic QFT settings is to capture rigorously enough of what is known or expected from less rigorous approaches to be able to have sound foundations. Already in free fields, field operators are only distribution valued, so allowing this is a must. Causal perturbation theory avoids ill-defined multiplication of distributions by proper use of microlocal analysis. See, e.g., https://www.physicsforums.com/insights/causal-perturbation-theory/

1 Answer

+ 2 like - 0 dislike

Firstly, I think you mean the Wightman axioms, not the Haag-Kastler axioms, because only the Wightman axioms include an operator-valued distribution such as $\hat\phi(x)$.

Certainly the immediate introduction of the propagator is somewhat abstract, but part of Wightman's intention at the time ---almost 30 years after the first attempts to construct quantum fields, so it's not like it was hasty--- was perhaps to introduce a clearer, more abstract definition of what a quantum field is, instead of using only the rather pragmatic constructions of working Physicists, so that there could be a more solid basis for mathematicians to consider the theory. The construction of the momentum operator $\hat\pi(x)$, given $\hat\phi(x)$ at all points of space-time, and of the consequent commutation relation, is close to immediate.

Though it can be subliminal, the question of how to handle the distributional character of Poincaré invariant propagators on the light-cone in real space, and, rather associated and as significant, how to manage the scaling properties near the light-cone, permeate discussions of quantum fields. So yes, various aspects of distributions are significant.

It is important in many of the proofs that start from the Wightman axioms that the restriction to positive frequency introduces a many-variable complex analyticity that is rather analogous to the analytic property of the Hilbert transform. This property makes the multiplication of distributions sometimes possible. Note also that the convolution of distributions is often possible.

The Wightman axioms did allow a lot to be clarified about quantum field theory. Various theorems were proved. People also tried to weaken the axioms in various ways, which can be seen discussed, for example, in Section 3 of R.F.Streater, Rep. Prog. Phys. (1975) 38 771-846, "Outline of axiomatic relativistic quantum field theory". Mathematicians and Philosophers are often more likely to work with Local Quantum Physics, one of the modern names for constructions that start from the Haag-Kastler axioms, for which it's probably best to start from Rudolph Haag's book, "Local Quantum Physics" (which is certainly also a great source for a discussion of the Wightman axioms).

answered Feb 28, 2017 by Peter Morgan (1,230 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights