proposition 106.13 The Euclidean weight
open in the book ·
parts/11-qft-standard-model/08-path-integral-quantization.tex:810
· p. 2164
Rests on
- depends_on definition 106.12 Euclidean time ¶
- proves proof ch:08-path-integral-quantization@proof-10 ¶
Supports
- depends_on proposition 106.76 Importance sampling ¶
-
depends_on
theorem 106.16
Feynman–Kac
¶
-
depends_on
proposition 106.17
Euclidean time projects onto the ground state
¶
- depends_on phenomenon 106.77 The light hadron spectrum is a prediction of QCD ¶
-
depends_on
proposition 106.71
The Wilson loop measures the static potential
¶
- depends_on phenomenon 102.62 The static potential rises linearly ¶
-
depends_on
proposition 106.21
Reflection positivity is the positivity of the
Hilbert space
¶
- depends_on proposition 109.82 Wilson's action is reflection positive ¶
-
depends_on
proposition 106.17
Euclidean time projects onto the ground state
¶
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 |
→ | Euclidean time | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:827 |
depends_on |
← | Importance sampling | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:3567 |
depends_on |
← | Feynman–Kac | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:959 |
proves |
← | ch:08-path-integral-quantization@proof-10 | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:830 |