proposition 109.83 Mass gap and correlation length

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

Rests on

depends_on proposition 109.79 Reflection positivity is Hilbert positivity ¶
- depends_on equation 106.30 eq:pathint-reflection-positivity ¶
- depends_on proposition 109.20 Properties of the Wightman functions ¶
  - depends_on axiom 109.13 Covariance ¶
  - depends_on axiom 109.12 Fields ¶
  - depends_on axiom 109.14 Local commutativity ¶
  - depends_on axiom 109.10 Spectrum condition ¶
  - depends_on axiom 109.9 Relativistic states ¶
  - depends_on axiom 109.11 Unique vacuum ¶
  - proves proof ch:11-axiomatic-qft@proof-4 ¶
- depends_on theorem 109.78 Osterwalder–Schrader ¶
  - depends_on definition 109.77 Schwinger functions ¶
  - depends_on theorem 106.20 Osterwalder–Schrader reconstruction ¶
    - depends_on definition 106.19 Schwinger functions ¶
- proves proof ch:11-axiomatic-qft@proof-28 ¶
proves proof ch:11-axiomatic-qft@proof-30 ¶

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`	→	Reflection positivity is Hilbert positivity	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:2620
`proves`	←	ch:11-axiomatic-qft@proof-30	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:2623