equation 106.30 eq:pathint-reflection-positivity

open in the book · parts/11-qft-standard-model/08-path-integral-quantization.tex:1172

Rests on

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

Supports

Neighborhood

Every logical edge within two steps of this node.

equation 106.30: eq:pathint-reflection-positivity106.30proposition 109.79: Reflection positivity is Hilbert positivity109.79proposition 109.82: Wilson's action is reflection positive109.82proposition 106.47: Källén–Lehmann representation106.47proposition 106.21: Reflection positivity is the positivity of the Hilbert space106.21proposition 109.20: Properties of the Wightman functions109.20theorem 109.78: Osterwalder–Schrader109.78proposition 109.83: Mass gap and correlation length109.83proof : ch:11-axiomatic-qft@proof-28proofequation 106.81: eq:pathint-wilson-action106.81proof : ch:11-axiomatic-qft@proof-29prooftheorem 106.20: Osterwalder–Schrader reconstruction106.20theorem 106.48: LSZ reduction106.48proof : ch:08-path-integral-quantization@proof-33prooftheorem 106.16: Feynman–Kac106.16proof : ch:08-path-integral-quantization@proof-15proof

Edges

typedirectionnode provenancewhere
depends_on Reflection positivity is Hilbert positivity declared parts/11-qft-standard-model/11-axiomatic-qft.tex:2475
depends_on Wilson's action is reflection positive declared parts/11-qft-standard-model/11-axiomatic-qft.tex:2576
depends_on Källén–Lehmann representation declared parts/11-qft-standard-model/08-path-integral-quantization.tex:2319
depends_on Reflection positivity is the positivity of the Hilbert space declared parts/11-qft-standard-model/08-path-integral-quantization.tex:1207