axiom 109.10 Spectrum condition

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on proposition 109.23 Uniqueness of the vacuum equals clustering ¶
• depends_on proposition 109.20 Properties of the Wightman functions ¶
  • 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 ¶
• depends_on theorem 109.54 Källén–Lehmann ¶
  • depends_on theorem 109.60 LSZ reduction ¶