proposition 109.82 Wilson's action is reflection positive

Rests on

• depends_on equation 106.30 eq:pathint-reflection-positivity ¶
• depends_on equation 106.81 eq:pathint-wilson-action ¶
• depends_on proposition 106.21 Reflection positivity is the positivity of the Hilbert space ¶
  • depends_on equation 106.30 eq:pathint-reflection-positivity ¶ ↺
  • depends_on theorem 106.16 Feynman–Kac ¶
    • depends_on proposition 106.13 The Euclidean weight ¶
      • depends_on definition 106.12 Euclidean time ¶
      • proves proof ch:08-path-integral-quantization@proof-10 ¶
    • depends_on theorem 106.3 Feynman's sum over histories ¶
      • depends_on equation 106.1 eq:pathint-propagator-def ¶
      • depends_on lemma 106.1 The short-time kernel ¶
        • depends_on corollary 8.15 Deformation of contours ¶
        • depends_on lemma 106.2 Gaussian integrals ¶
        • proves proof ch:08-path-integral-quantization@proof-1 ¶
      • proves proof ch:08-path-integral-quantization@proof-3 ¶
    • proves proof ch:08-path-integral-quantization@proof-12 ¶
  • proves proof ch:08-path-integral-quantization@proof-15 ¶
• proves proof ch:11-axiomatic-qft@proof-29 ¶

Supports

Nothing declares a dependency on this node yet.