proposition 109.20 Properties of the Wightman functions

open in the book · parts/11-qft-standard-model/11-axiomatic-qft.tex:550 · p. 2299

Rests on

depends_on proposition 109.79 Reflection positivity is Hilbert positivity ¶
- depends_on proposition 109.83 Mass gap and correlation length ¶
depends_on theorem 109.28 Bargmann–Hall–Wightman; imported ¶
- depends_on corollary 109.43 Total inversion is automatic ¶
  - depends_on theorem 109.44 Jost ¶
    - depends_on corollary 109.45 Locality implies $PCT$ ¶
  - depends_on theorem 109.49 Spin and statistics ¶
    - depends_on corollary 109.50 The connection between spin and statistics ¶
- depends_on theorem 109.49 Spin and statistics ¶ ↺
depends_on theorem 109.21 Wightman reconstruction ¶
- depends_on theorem 109.4 Haag ¶
  - depends_on corollary 109.5 The interaction picture does not exist ¶

Every logical edge within two steps of this node.

type	direction	node	provenance	where
`depends_on`	→	Covariance	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:581
`depends_on`	→	Fields	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:581
`depends_on`	→	Local commutativity	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:581
`depends_on`	→	Spectrum condition	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:581
`depends_on`	→	Relativistic states	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:581
`depends_on`	→	Unique vacuum	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:581
`depends_on`	←	Reflection positivity is Hilbert positivity	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:2475
`depends_on`	←	Bargmann–Hall–Wightman; imported	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:937
`depends_on`	←	Wightman reconstruction	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:645
`proves`	←	ch:11-axiomatic-qft@proof-4	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:585