phenomenon 106.77 The light hadron spectrum is a prediction of QCD
open in the book ·
parts/11-qft-standard-model/08-path-integral-quantization.tex:3626
· p. 2195
- phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt
Rests on
-
depends_on
corollary 106.49
Any interpolating field will do
¶
- depends_on equation 106.61 eq:pathint-kallen-lehmann ¶
-
depends_on
theorem 106.48
LSZ reduction
¶
-
depends_on
proposition 106.47
Källén–Lehmann representation
¶
- depends_on equation 106.30 eq:pathint-reflection-positivity ¶
-
depends_on
theorem 106.20
Osterwalder–Schrader reconstruction
¶
- depends_on definition 106.19 Schwinger functions ¶
- proves proof ch:08-path-integral-quantization@proof-33 ¶
- proves proof ch:08-path-integral-quantization@proof-34 ¶
-
depends_on
proposition 106.47
Källén–Lehmann representation
¶
- proves proof ch:08-path-integral-quantization@proof-35 ¶
- depends_on equation 106.24 eq:pathint-spectral ¶
-
depends_on
proposition 106.17
Euclidean time projects onto the ground state
¶
-
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 ¶
-
depends_on
proposition 106.13
The Euclidean weight
¶
- proves proof ch:08-path-integral-quantization@proof-13 ¶
-
depends_on
theorem 106.16
Feynman–Kac
¶
- proves proof ch:08-path-integral-quantization@proof-53 ¶
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 |
|---|---|---|---|---|
cites |
→ | Ab Initio Determination of Light Hadron Masses | derived | parts/11-qft-standard-model/08-path-integral-quantization.tex:3633 |
depends_on |
→ | Any interpolating field will do | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:3635 |
depends_on |
→ | eq:pathint-spectral | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:3635 |
depends_on |
→ | Euclidean time projects onto the ground state | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:3635 |
proves |
← | ch:08-path-integral-quantization@proof-53 | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:3639 |