equation 106.1 eq:pathint-propagator-def

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

connected by a declared semantic edge

Rests on

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

Supports

depends_on theorem 106.3 Feynman's sum over histories ¶
- depends_on phenomenon 106.5 The Aharonov–Bohm effect ¶
- 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 theorem 106.7 Trotter product formula ¶

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`	←	Feynman's sum over histories	declared	parts/11-qft-standard-model/08-path-integral-quantization.tex:320
`depends_on`	←	Trotter product formula	declared	parts/11-qft-standard-model/08-path-integral-quantization.tex:566