proposition 109.23 Uniqueness of the vacuum equals clustering
open in the book ·
parts/11-qft-standard-model/11-axiomatic-qft.tex:739
· p. 2301
Rests on
- depends_on axiom 109.10 Spectrum condition ¶
- depends_on axiom 109.9 Relativistic states ¶
-
depends_on
theorem 109.26
Analyticity in the forward tube
¶
- depends_on equation 109.16 eq:axqft-wightman-support ¶
-
depends_on
lemma 109.25
Positivity of the cone pairing
¶
- depends_on notation 109.8 Conventions of this chapter ¶
- proves proof ch:11-axiomatic-qft@proof-7 ¶
- proves proof ch:11-axiomatic-qft@proof-8 ¶
- proves proof ch:11-axiomatic-qft@proof-6 ¶
Supports
Nothing declares a dependency on this node yet.
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | Spectrum condition | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:750 |
depends_on |
→ | Relativistic states | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:750 |
depends_on |
→ | Analyticity in the forward tube | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:750 |
proves |
← | ch:11-axiomatic-qft@proof-6 | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:753 |